Completeness and decidability results for CTL in constructive type theory (Q287375): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Big Operators
@@ Property / cites work: Canonical Big Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent systems for temporal logic
@@ Property / cites work: Cut-free sequent systems for temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Two-Way Automata in Coq
@@ Property / cites work: Two-Way Automata in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and Decidability Results for CTL in Coq
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+The Beginning of Model Checking: A Personal Perspective
+Normal rank
@@ Property / cites work @@
+Q3906386
@@ Property / cites work: Q3906386 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
+Normal rank
@@ Property / cites work @@
+Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
+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 @@
+A Modular Formalisation of Finite Group Theory
@@ Property / cites work: A Modular Formalisation of Finite Group Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Constructive Proof of Dependent Choice, Compatible with Classical Logic
+Normal rank
@@ Property / cites work @@
+Terminating Tableaux for Hybrid Logic with Eventualities
+Normal rank
@@ Property / cites work @@
+A goal-directed decision procedure for hybrid PDL
@@ Property / cites work: A goal-directed decision procedure for hybrid PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075239
@@ Property / cites work: Q3075239 / rank @@
+Normal rank