A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831): Difference between revisions

@@ Property / cites work @@
+Logic and time
@@ Property / cites work: Logic and time / 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 @@
+Q4518428
@@ Property / cites work: Q4518428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3669373
@@ Property / cites work: Q3669373 / rank @@
+Normal rank
@@ Property / cites work @@
+Causation
@@ Property / cites work: Causation / rank @@
+Normal rank
@@ Property / cites work @@
+T \(\times\) W completeness
@@ Property / cites work: T \(\times\) W completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+A finite axiomatization of the set of strongly valid Ockhamist formulas
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank