Complexity of monodic guarded fragments over linear and real time (Q2576942): Difference between revisions

@@ Property / author @@
-I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
-Normal rank
@@ Property / author @@
+I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2099799091
@@ Property / OpenAlex ID: W2099799091 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+On Non-local Propositional and Weak Monodic Quantified CTL*
+Normal rank
@@ Property / cites work @@
+The decision problem for linear temporal logic
@@ Property / cites work: The decision problem for linear temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / 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 @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q4263155
@@ Property / cites work: Q4263155 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Restraining Power of Guards
@@ Property / cites work: On the Restraining Power of Guards / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Loosely guarded fragment of first-order logic has the finite model property
+Normal rank
@@ Property / cites work @@
+Monodic packed fragment with equality is decidable
+Normal rank
@@ Property / cites work @@
+Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
+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 @@
+Q3408140
@@ Property / cites work: Q3408140 / rank @@
+Normal rank
@@ Property / cites work @@
+On the elementary theory of linear order
@@ Property / cites work: On the elementary theory of linear order / rank @@
+Normal rank
@@ Property / cites work @@
+Tolerance logic
@@ Property / cites work: Tolerance logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of temporal logic over the reals
@@ Property / cites work: The complexity of temporal logic over the reals / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the temporal logic with ``until'' over general linear time
+Normal rank
@@ Property / cites work @@
+$ℵ_0$-categoricity of linear orderings
@@ Property / cites work: $ℵ_0$-categoricity of linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Axiomatizing the monodic fragment of first-order temporal logic
+Normal rank