Derivation rules as anti-axioms in modal logic (Q4276034): Difference between revisions

@@ Property / author @@
-Yde Venema
@@ Property / author: Yde Venema / rank @@
-Normal rank
@@ Property / author @@
+Yde Venema
@@ Property / author: Yde Venema / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2061003582
@@ Property / OpenAlex ID: W2061003582 / rank @@
+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 @@
+Varieties of complex algebras
@@ Property / cites work: Varieties of complex algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A finite axiomatization of the set of strongly valid Ockhamist formulas
+Normal rank
@@ Property / cites work @@
+An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Volume II: Extensions of classical logic
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank
@@ Property / cites work @@
+Language in action
@@ Property / cites work: Language in action / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of Sahlqvist's theorem on modal definability and completeness
+Normal rank
@@ Property / cites work @@
+Temporal logics need their clocks
@@ Property / cites work: Temporal logics need their clocks / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of temporal proofs
@@ Property / cites work: On the strength of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs?
+Normal rank
@@ Property / cites work @@
+An axiomatization for until and since over the reals without the IRR rule
+Normal rank
@@ Property / cites work @@
+PDL with data constants
@@ Property / cites work: PDL with data constants / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization of quantifier logics, an introductory overview
+Normal rank
@@ Property / cites work @@
+The domino relation: Flattening a two-dimensional logic
+Normal rank