Dual systems of tableaux and sequents for PLTL (Q1035676): Difference between revisions

@@ Property / cites work @@
+One-Pass Tableaux for Computation Tree Logic
@@ Property / cites work: One-Pass Tableaux for Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / 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 @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2871849
@@ Property / cites work: Q2871849 / rank @@
+Normal rank
@@ Property / cites work @@
+A Cut-Free and Invariant-Free Sequent Calculus for PLTL
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional temporal logics: decidability and completeness
+Normal rank
@@ Property / cites work @@
+Q3496314
@@ Property / cites work: Q3496314 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus
+Normal rank
@@ Property / cites work @@
+Schlussweisen-Kalküle der Prädikatenlogik
@@ Property / cites work: Schlussweisen-Kalküle der Prädikatenlogik / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838819
@@ Property / cites work: Q3838819 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q4860769
@@ Property / cites work: Q4860769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605873
@@ Property / cites work: Q5605873 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank