107 citations
- Institució Catalana de Recerca i Estudis AvançatsES6 papers
- Institute of Space SciencesES6 papers
- Tomsk State University of Control Systems and Radio-ElectronicsRU6 papers
- Australian National UniversityAU5 papers
- University of the WitwatersrandZA5 papers
- Joint Institute for Nuclear ResearchRU3 papers
- Universidad de ValladolidES3 papers
- Georgia Institute of TechnologyUS2 papers
- Indian Institute of Science Education and Research KolkataIN2 papers
- Institute of Metal Superplasticity ProblemsRU2 papers
- Institute of PhysicsPL2 papers
- Kazan Federal UniversityRU2 papers
4 papers · 1 filter
Complexity and expressivity of propositional dynamic logics with finitely many variables
Mikhail Rybakov, Dmitry Shkatov
We investigate the complexity of satisfiability for finite-variable fragments of propositional dynamic logics. We consider three formalisms belonging to three representative comple…
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables
Mikhail Rybakov, Dmitry Shkatov
We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single pro…
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
Mikhail Rybakov, Dmitry Shkatov
We prove that the positive fragment of first-order intuitionistic logic in the language with two variables and a single monadic predicate letter, without constants and equality, is…
On complexity of propositional Linear-time Temporal Logic with finitely many variables
Mikhail Rybakov, Dmitry Shkatov
It is known [DemriSchnoebelen02] that both satisfiability and model-checking problems for propositional Linear-time Temporal Logic, LTL, with only a single propositional variable i…