Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2022.04.056
@@ Property / DOI: 10.1016/j.tcs.2022.04.056 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2022.04.056
+Normal rank
@@ Property / OpenAlex ID @@
+W4225423377
@@ Property / OpenAlex ID: W4225423377 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics for reasoning about infinite unions and intersections of binary relations
+Normal rank
@@ Property / cites work @@
+A general method for proving decidability of intuitionistic modal logics
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic as a framework for spatio-temporal reasoning
+Normal rank
@@ Property / cites work @@
+A modal perspective on the computational complexity of attribute value grammar
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465436
@@ Property / cites work: Q5465436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux
+Normal rank
@@ Property / cites work @@
+Temporal Logics in Computer Science
@@ Property / cites work: Temporal Logics in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics in simple cases
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+On modal logic with an intuitionistic base
@@ Property / cites work: On modal logic with an intuitionistic base / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Undecidability of modal and intermediate first-order logics with two individual variables
+Normal rank
@@ Property / cites work @@
+Products of modal logics, part 1
@@ Property / cites work: Products of modal logics, part 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantification in nonclassical logic. Volume I.
@@ Property / cites work: Quantification in nonclassical logic. Volume I. / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Tableau-based decision procedures for logics of strategic ability in multiagent systems
+Normal rank
@@ Property / cites work @@
+Q4215613
@@ Property / cites work: Q4215613 / rank @@
+Normal rank
@@ Property / cites work @@
+The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
+Normal rank
@@ Property / cites work @@
+The complexity of reasoning about knowledge and time. I: Lower bounds
+Normal rank
@@ Property / cites work @@
+Q4636045
@@ Property / cites work: Q4636045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
+Normal rank
@@ Property / cites work @@
+The extensions of the modal logic <i>K</i>5
@@ Property / cites work: The extensions of the modal logic <i>K</i>5 / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3647277
@@ Property / cites work: Q3647277 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of intuitionistic propositional logic and its fragments
+Normal rank
@@ Property / cites work @@
+Complexity of finite-variable fragments of propositional modal logics of symmetric frames
+Normal rank
@@ Property / cites work @@
+Complexity and expressivity of branching- and alternating-time temporal logics with finitely many variables
+Normal rank
@@ Property / cites work @@
+Complexity and expressivity of propositional dynamic logics with finitely many variables
+Normal rank
@@ Property / cites work @@
+Q5224585
@@ Property / cites work: Q5224585 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
+Normal rank
@@ Property / cites work @@
+Q5104724
@@ Property / cites work: Q5104724 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive enumerability and elementary frame definability in predicate modal logic
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
+Normal rank
@@ Property / cites work @@
+Complexity of finite-variable fragments of products with <b>K</b>
+Normal rank
@@ Property / cites work @@
+Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
+Normal rank
@@ Property / cites work @@
+Complexity of finite-variable fragments of products with non-transitive modal logics
+Normal rank
@@ Property / cites work @@
+ATL* Satisfiability Is 2EXPTIME-Complete
@@ Property / cites work: ATL* Satisfiability Is 2EXPTIME-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Multiagent Systems
@@ Property / cites work: Multiagent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable
+Normal rank
@@ Property / cites work @@
+The decision problem of provability logic with only one atom
+Normal rank
@@ Property / cites work @@
+ATL Satisfiability is Indeed EXPTIME-complete
@@ Property / cites work: ATL Satisfiability is Indeed EXPTIME-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948690
@@ Property / cites work: Q4948690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250043
@@ Property / cites work: Q4250043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939661
@@ Property / cites work: Q4939661 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782498
@@ Property / cites work: Q2782498 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order modal logics
@@ Property / cites work: Decidable fragments of first-order modal logics / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2022.04.056
@@ Property / DOI: 10.1016/J.TCS.2022.04.056 / rank @@
+Normal rank