Constructive Formalization of Hybrid Logic with Eventualities (Q3100197): Difference between revisions

@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247075
@@ Property / cites work: Q4247075 / 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 @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Packaging Mathematical Structures
@@ Property / cites work: Packaging Mathematical Structures / 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 @@
+Kripke models for classical logic
@@ Property / cites work: Kripke models for classical logic / rank @@
+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 @@
+Terminating Tableaux for Hybrid Logic with Eventualities
+Normal rank
@@ Property / cites work @@
+Mechanised Computability Theory
@@ Property / cites work: Mechanised Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine-checked implementation of Buchberger's algorithm
+Normal rank