Document Search Results - zbMATH Open

×

from until

Found 18 Documents (Results 1–18)

Newest Citations Relevance

Admissibility and unification in the modal logics related to S4.2. (English. Russian original) Zbl 07804700

Sib. Math. J. 65, No. 1, 167-173 (2024); translation from Sib. Mat. Zh. 65, No. 1, 198-206 (2024).

MSC: 03Bxx 68Txx 08Bxx

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir Vladimirovich; Kiyatkin, Vladimir Rostislavovich; Grekovich, Konstantin Vikent’evich

Formulas expressing totally nonstable truth values of formulas. (English) Zbl 07711304

Izv. Irkutsk. Gos. Univ., Ser. Mat. 44, 108-115 (2023).

MSC: 03B45 03H05

Cite Review PDF

Full Text: DOI Link

OA License

Dynamic temporal logical operations in multi-agent logics. (English. Russian original) Zbl 07738540

Algebra Logic 61, No. 5, 407-419 (2022); translation from Algebra Logika 61, No. 5, 600-618 (2022).

MSC: 03B44

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir V.

Multi-agents’ temporal logic using operations of static agents’ knowledge. (English) Zbl 1535.03101

J. Sib. Fed. Univ., Math. Phys. 15, No. 1, 114-124 (2022).

MSC: 03B44 03B45 03B70 68T27 03B25

Cite Review PDF

Full Text: DOI MNR

Multi-agent temporal nontransitive linear logics and the admissibility problem. (English. Russian original) Zbl 1484.03031

Algebra Logic 59, No. 1, 87-100 (2020); translation from Algebra Logika 59, No. 1, 123-141 (2020).

MSC: 03B44 68T27 03B47 03B70

Cite Review PDF

Full Text: DOI Link

Multi-agent logics with multi-valuations and intensional logical operations. (English) Zbl 1486.03054

Lobachevskii J. Math. 41, No. 2, 243-251 (2020).

MSC: 03B70 03B44 68T27

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir Vladimirovich

Temporal logic with accessibility temporal relations generated by time states themselves. (English) Zbl 1437.03081

Sib. Èlektron. Mat. Izv. 17, 923-932 (2020).

MSC: 03B44 68T27

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir Vladimirovich

Branching time agents logics, satisfiability problem by rules in reduced form. (English) Zbl 1436.03126

Sib. Èlektron. Mat. Izv. 16, 1158-1170 (2019).

MSC: 03B44 03B70

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir V.

Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility. (English) Zbl 1429.03074

Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 219-243 (2018).

MSC: 03B44 03B25 03B47

Cite Review PDF

Full Text: DOI

Multiagent temporal logics with multivaluations. (English. Russian original) Zbl 1469.03047

Sib. Math. J. 59, No. 4, 710-720 (2018); translation from Sib. Mat. Zh. 59, No. 4, 897-911 (2018).

MSC: 03B44 03B70 68T27

Cite Review PDF

Full Text: DOI

Moor, Michael Alexandrovich; Rybakov, Vladimir Vladimirovich

Many-valued multi-modal logics, satisfiability problem. (English) Zbl 1436.03138

Sib. Èlektron. Mat. Izv. 15, 829-838 (2018).

MSC: 03B45 03B50 03B70

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir Vladimirovich

Temporal multi-valued logic with lost worlds in the past. (English) Zbl 1436.03154

Sib. Èlektron. Mat. Izv. 15, 436-449 (2018).

MSC: 03B50 03B44 68T27

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir V.

Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms. (English. Russian original) Zbl 1420.03060

Sib. Math. J. 58, No. 5, 875-886 (2017); translation from Sib. Mat. Zh. 58, No. 5, 1128-1143 (2017).

MSC: 03B70 03B44 68T27 03B25 03B42

Cite Review PDF

Full Text: DOI

Rybakov, Vladimir

Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition. (English) Zbl 1209.03011

Theor. Comput. Sci. 411, No. 50, 4323-4332 (2010).

MSC: 03B44

Cite Review PDF

Full Text: DOI

Babenyshev, Sergey; Rybakov, Vladimir

Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. (English) Zbl 1142.03323

Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 32-41 (2008).

MSC: 03B25 03B42 03B44 68T27

Cite Review PDF

Full Text: DOI

Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations Until and Since based on bundles of integer numbers, logical consecutions, deciding algorithms. (English) Zbl 1148.03011

Theory Comput. Syst. 43, No. 2, 254-271 (2008).

MSC: 03B44 03B25 03B70

Cite Review PDF

Full Text: DOI

Logical consecutions in discrete linear temporal logic. (English) Zbl 1110.03010

J. Symb. Log. 70, No. 4, 1137-1149 (2005).

Reviewer: Alfredo Burrieza Muñiz (Málaga)

MSC: 03B44

Cite Review PDF

Full Text: DOI

Rybakov, V. V.; Terziler, M.; Gencer, C.

Unification and passive inference rules for modal logics. (English) Zbl 1040.03014

J. Appl. Non-Class. Log. 10, No. 3-4, 369-377 (2000).

MSC: 03B45 03B55 03B35

Cite Review PDF

Full Text: DOI

Filter Results by …

Document Type

Journal Articles (16)
Collection Articles (2)

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

2024 (1)
2023 (1)
2022 (2)
2020 (3)
2019 (1)
2018 (4)
2017 (1)
2010 (1)
2008 (2)
2005 (1)
2000 (1)

Main Field

03-XX (18)
68-XX (9)
08-XX (1)

© 2024 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions