Dmitry Shkatov

56 papers B 5C 1Misc 1Journal 41Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fusions of One-Variable First-Order Modal Logics. CoRR Roman Kontchakov, Dmitry Shkatov, Frank Wolter
2025	J	`jnl`	Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2025	J	`jnl`	Polytime embedding of intuitionistic modal logics into their one-variable fragments. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2025	J	`jnl`	Variations on the Kripke Trick. Stud Logica Mikhail N. Rybakov, Dmitry Shkatov
2024	J	`jnl`	Extensions of Solovay's system S without independent sets of axioms. Ann. Pure Appl. Log. Igor Gorbunov, Dmitry Shkatov
2024	B	`conf`	On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics. AiML Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov
2023	J	`jnl`	Algorithmic properties of QK4.3 and QS4.3. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2023	J	`jnl`	Complexity function and complexity of validity of modal and superintuitionistic propositional logics. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2023	J	`jnl`	Complexity of the Universal Theory of Residuated Ordered Groupoids. J. Log. Lang. Inf. Dmitry Shkatov, Clint J. van Alten
2022	J	`jnl`	Complexity of finite-variable fragments of products with non-transitive modal logics. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2022	J	`jnl`	Complexity of finite-variable fragments of propositional temporal and modal logics of computation. Theor. Comput. Sci. Mikhail N. Rybakov, Dmitry Shkatov
2022	J	`jnl`	Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. Stud Logica Mikhail N. Rybakov, Dmitry Shkatov
2022	J	`jnl`	On Independent Axiomatizability of Quasi-Normal Modal Logics. Stud Logica Igor Gorbunov, Dmitry Shkatov
2022	J	`jnl`	Undecidability of the Logic of Partial Quasiary Predicates. Log. J. IGPL Mikhail N. Rybakov, Dmitry Shkatov
2021	J	`jnl`	Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2021	J	`jnl`	Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2021	J	`jnl`	Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2021	J	`jnl`	Complexity of finite-variable fragments of products with K. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2021	J	`jnl`	Computational complexity for bounded distributive lattices with negation. Ann. Pure Appl. Log. Dmitry Shkatov, Clint J. van Alten
2021	J	`jnl`	Correction to: Complexity of the Universal Theory of Modal Algebras. Stud Logica Dmitry Shkatov, Clint J. van Alten
2020	B	`conf`	Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. AiML Mikhail N. Rybakov, Dmitry Shkatov
2020	J	`jnl`	Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2020	J	`jnl`	Complexity of the Universal Theory of Modal Algebras. Stud Logica Dmitry Shkatov, Clint J. van Alten
2020	—	`conf`	Computational properties of the logic of partial quasiary predicates. SAICSIT Mikhail N. Rybakov, Dmitry Shkatov
2020	J	`jnl`	Recursive enumerability and elementary frame definability in predicate modal logic. J. Log. Comput. Mikhail N. Rybakov, Dmitry Shkatov
2019	J	`jnl`	Complexity and expressivity of propositional dynamic logics with finitely many variables. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2019	J	`jnl`	Complexity of finite-variable fragments of propositional modal logics of symmetric frames. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2019	J	`jnl`	Complexity of finite-variable fragments of propositional modal logics of symmetric frames. Log. J. IGPL Mikhail N. Rybakov, Dmitry Shkatov
2019	J	`jnl`	Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids. CoRR Dmitry Shkatov, Clint J. van Alten
2019	J	`jnl`	Recursive enumerability and elementary frame definability in predicate modal logic. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2019	—	`conf`	Trakhtenbrot theorem for classical languages with three individual variables. SAICSIT Mikhail N. Rybakov, Dmitry Shkatov
2019	J	`jnl`	Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. Stud Logica Mikhail N. Rybakov, Dmitry Shkatov
2018	B	`conf`	A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames. Advances in Modal Logic Mikhail N. Rybakov, Dmitry Shkatov
2018	C	`conf`	Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. ICTAC Mikhail N. Rybakov, Dmitry Shkatov
2018	J	`jnl`	Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2018	J	`jnl`	Complexity and expressivity of propositional dynamic logics with finitely many variables. Log. J. IGPL Mikhail N. Rybakov, Dmitry Shkatov
2018	—	`conf`	On complexity of propositional linear-time temporal logic with finitely many variables. SAICSIT Mikhail N. Rybakov, Dmitry Shkatov
2017	J	`jnl`	Complexity of propositional Linear-time Temporal Logic with finitely many variables. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2017	J	`jnl`	Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter. CoRR Mikhail N. Rybakov, Dmitry Shkatov
2013	J	`jnl`	Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. Log. J. IGPL Mai Ajspur, Valentin Goranko, Dmitry Shkatov
2012	J	`jnl`	Modal logics for reasoning about infinite unions and intersections of binary relations. J. Appl. Non Class. Logics Natasha Alechina, Philippe Balbiani, Dmitry Shkatov
2012	J	`jnl`	Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge. CoRR Mai Ajspur, Valentin Goranko, Dmitry Shkatov
2011	—	`conf`	Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information. CLIMA Jan Calta, Dmitry Shkatov
2010	—	`conf`	Finding Uniform Strategies for Multi-agent Systems. CLIMA Jan Calta, Dmitry Shkatov, Bernd-Holger Schlingloff
2009	—	`conf`	Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis. M4M Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
2009	Misc	`conf`	Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. LFCS Valentin Goranko, Dmitry Shkatov
2009	—	`conf`	Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time. MALLOW Valentin Goranko, Dmitry Shkatov
2009	J	`jnl`	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time CoRR Valentin Goranko, Dmitry Shkatov
2009	—	`conf`	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. AAMAS (2) Valentin Goranko, Dmitry Shkatov
2009	J	`jnl`	Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Log. Valentin Goranko, Dmitry Shkatov
2009	J	`jnl`	Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic CoRR Valentin Goranko, Dmitry Shkatov
2008	B	`conf`	Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge. SEFM Valentin Goranko, Dmitry Shkatov
2008	J	`jnl`	Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge CoRR Valentin Goranko, Dmitry Shkatov
2008	J	`jnl`	Tableau-based decision procedures for logics of strategic ability in multi-agent systems CoRR Valentin Goranko, Dmitry Shkatov
2006	J	`jnl`	A general method for proving decidability of intuitionistic modal logics. J. Appl. Log. Natasha Alechina, Dmitry Shkatov
2006	B	`conf`	Logics with an existential modality. Advances in Modal Logic Natasha Alechina, Dmitry Shkatov