Dmitry Shkatov

Available identifiers

zbMath Open shkatov.dmitryMaRDI QIDQ1623149

List of research outcomes

Publication	Date of Publication	Type
Complexity function and complexity of validity of modal and superintuitionistic propositional logics	2024-02-08	Paper
Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms	2023-10-12	Paper
Complexity of the universal theory of residuated ordered groupoids	2023-08-14	Paper
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter	2023-01-16	Paper
On independent axiomatizability of quasi-normal modal logics	2022-10-04	Paper
Complexity of finite-variable fragments of products with non-transitive modal logics	2022-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q5104724	2022-09-15	Paper
Complexity and expressivity of propositional dynamic logics with finitely many variables	2022-08-10	Paper
Undecidability of the Logic of Partial Quasiary Predicates	2022-07-22	Paper
Complexity of finite-variable fragments of propositional temporal and modal logics of computation	2022-06-24	Paper
Correction to: ``Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter	2022-03-23	Paper
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages	2021-09-22	Paper
Computational complexity for bounded distributive lattices with negation	2021-06-14	Paper
Complexity of finite-variable fragments of products with K	2021-04-09	Paper
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages	2021-04-09	Paper
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages	2020-12-15	Paper
Recursive enumerability and elementary frame definability in predicate modal logic	2020-06-04	Paper
Complexity of the universal theory of modal algebras	2020-03-27	Paper
Complexity of finite-variable fragments of propositional modal logics of symmetric frames	2019-11-04	Paper
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids	2019-10-12	Paper
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter	2019-09-03	Paper
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids	2019-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q5224585	2019-07-24	Paper
Complexity and expressivity of branching- and alternating-time temporal logics with finitely many variables	2018-11-23	Paper
Modal logics for reasoning about infinite unions and intersections of binary relations	2018-08-28	Paper
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter	2017-06-15	Paper
Tableau-based decision procedures for logics of strategic ability in multiagent systems	2015-09-17	Paper
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge	2013-06-11	Paper
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information	2011-09-16	Paper
Finding Uniform Strategies for Multi-agent Systems	2010-08-24	Paper
Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic	2009-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q3509043	2008-07-01	Paper
A general method for proving decidability of intuitionistic modal logics	2006-10-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dmitry Shkatov