Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765): Difference between revisions

@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Cookbook for Temporal Conceptual Data Modelling with Description Logics
+Normal rank
@@ Property / cites work @@
+On Non-local Propositional and Weak Monodic Quantified CTL*
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518442
@@ Property / cites work: Q4518442 / rank @@
+Normal rank
@@ Property / cites work @@
+On the feasibility of checking temporal integrity constraints
+Normal rank
@@ Property / cites work @@
+Monodic temporal resolution
@@ Property / cites work: Monodic temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and monodic first-order temporal logic
@@ Property / cites work: Equality and monodic first-order temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+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 @@
+Products of ‘transitive” modal logics
@@ Property / cites work: Products of ‘transitive” modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Non-primitive recursive decidability of products of modal logics with expanding domains
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+One-variable first-order linear temporal logics with counting
+Normal rank
@@ Property / cites work @@
+Monodic packed fragment with equality is decidable
+Normal rank
@@ Property / cites work @@
+Complexity of monodic guarded fragments over linear and real time
+Normal rank
@@ Property / cites work @@
+Decidable fragments of first-order temporal logics
+Normal rank
@@ Property / cites work @@
+Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-finitely axiomatisable two-dimensional modal logics
+Normal rank
@@ Property / cites work @@
+Undecidability of compass logic
@@ Property / cites work: Undecidability of compass logic / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508393
@@ Property / cites work: Q4508393 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and incompleteness results for first-order temporal logics of linear time
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for First-Order Two-Variable Logic with Counting
+Normal rank
@@ Property / cites work @@
+A decidable temporal logic of parallelism
@@ Property / cites work: A decidable temporal logic of parallelism / rank @@
+Normal rank
@@ Property / cites work @@
+On the Products of Linear Modal Logics
@@ Property / cites work: On the Products of Linear Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Lossy Counter Machines Decidability Cheat Sheet
@@ Property / cites work: Lossy Counter Machines Decidability Cheat Sheet / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ Property / cites work @@
+Modal logics with linear alternative relations
@@ Property / cites work: Modal logics with linear alternative relations / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the semantic consequence relation in first-order temporal logic
+Normal rank
@@ Property / cites work @@
+Incompleteness of first-order temporal logic with until
+Normal rank
@@ Property / cites work @@
+Q4939661
@@ Property / cites work: Q4939661 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the monodic fragment of first-order temporal logic
+Normal rank