Mathematics of Public Announcements (Q3094007): Difference between revisions

@@ Property / cites work @@
+Group announcement logic
@@ Property / cites work: Group announcement logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+The information in intuitionistic logic
@@ Property / cites work: The information in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of monadic Heyting algebras. I
@@ Property / cites work: Varieties of monadic Heyting algebras. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551606
@@ Property / cites work: Q4551606 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720564
@@ Property / cites work: Q3720564 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
+Normal rank