An approach to infinitary temporal proof theory (Q1762733): Difference between revisions

@@ Property / cites work @@
+Duality and the completeness of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+A proof-theoretic investigation of a logic of positions
+Normal rank
@@ Property / cites work @@
+Labelled modal logics: Quantifiers
@@ Property / cites work: Labelled modal logics: Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247687
@@ Property / cites work: Q4247687 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342097
@@ Property / cites work: Q4342097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of (linear) exponentials based on extended sequents
+Normal rank
@@ Property / cites work @@
+Q4343990
@@ Property / cites work: Q4343990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688812
@@ Property / cites work: Q5688812 / rank @@
+Normal rank
@@ Property / cites work @@
+-sequent calculus: A proof theory of modalities
@@ Property / cites work: 2-sequent calculus: A proof theory of modalities / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143279
@@ Property / cites work: Q4143279 / rank @@
+Normal rank
@@ Property / cites work @@
+A model existence theorem in infinitary propositional modal logic
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+A complete axiomatic characterization of first-order temporal logic of linear time
+Normal rank
@@ Property / cites work @@
+Q4874650
@@ Property / cites work: Q4874650 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory
@@ Property / cites work: Proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank