Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898): Difference between revisions

@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
+Normal rank
@@ Property / cites work @@
+Axiomatization of `Peircean' branching-time logic
@@ Property / cites work: Axiomatization of `Peircean' branching-time logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the characterizability of the frames for the ``unpreventability of the present and the past''
+Normal rank
@@ Property / cites work @@
+A finite axiomatization of the set of strongly valid Ockhamist formulas
+Normal rank
@@ Property / cites work @@
+Q4132480
@@ Property / cites work: Q4132480 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation rules as anti-axioms in modal logic
@@ Property / cites work: Derivation rules as anti-axioms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Time and modality in the logic of agency
@@ Property / cites work: Time and modality in the logic of agency / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for tense logic. I: 'Since' and 'until'
@@ Property / cites work: Axioms for tense logic. I: 'Since' and 'until' / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Branching space-time
@@ Property / cites work: Branching space-time / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of Sahlqvist's theorem on modal definability and completeness
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank