29 citations · 90 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 29 cited
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…
cs.LO2017★ 2 cited
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…