Putting right the wording and the proof of the Truth Lemma for<i>APAL</i> (Q4586133): Difference between revisions

@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Subset Space Logic with Arbitrary Announcements
@@ Property / cites work: Subset Space Logic with Arbitrary Announcements / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086938
@@ Property / cites work: Q3086938 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizations with context rules of inference in modal logic
+Normal rank
@@ Property / cites work @@
+How Arbitrary Are Arbitrary Public Announcements?
@@ Property / cites work: How Arbitrary Are Arbitrary Public Announcements? / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank