Complexity of propositional projection temporal logic with star (Q3616217): Difference between revisions

@@ Property / cites work @@
+A decision procedure for propositional projection temporal logic with infinite models
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Framed temporal logic programming
@@ Property / cites work: Framed temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Propositional Projection Temporal Logic with Infinite Models
+Normal rank
@@ Property / cites work @@
+Process logic: Expressiveness, decidability, completeness
+Normal rank
@@ Property / cites work @@
+The Implication Problem for Functional and Inclusion Dependencies is Undecidable
+Normal rank
@@ Property / cites work @@
+A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of temporal logics over infinite intervals.
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank