Information dynamics and uniform substitution (Q484920): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-013-0278-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2142771670
@@ Property / OpenAlex ID: W2142771670 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic with subjunctive conditionals and dispositional predicates
+Normal rank
@@ Property / cites work @@
+‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
+Normal rank
@@ Property / cites work @@
+Validity and necessity
@@ Property / cites work: Validity and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of pure provability
@@ Property / cites work: The modal logic of pure provability / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities and Quantification
@@ Property / cites work: Modalities and Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+The secret of my success
@@ Property / cites work: The secret of my success / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385438
@@ Property / cites work: Q4385438 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical analysis of some value concepts
@@ Property / cites work: A logical analysis of some value concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Should knowledge entail belief?
@@ Property / cites work: Should knowledge entail belief? / rank @@
+Normal rank
@@ Property / cites work @@
+Q2939499
@@ Property / cites work: Q2939499 / rank @@
+Normal rank
@@ Property / cites work @@
+Schematic Validity in Dynamic Epistemic Logic: Decidability
+Normal rank
@@ Property / cites work @@
+Q5419888
@@ Property / cites work: Q5419888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904054
@@ Property / cites work: Q2904054 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic with branching temporal structures
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3269129
@@ Property / cites work: Q3269129 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Russian cards problem
@@ Property / cites work: The Russian cards problem / rank @@
+Normal rank
@@ Property / cites work @@
+What one may come to know
@@ Property / cites work: What one may come to know / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494230
@@ Property / cites work: Q5494230 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5477946
@@ Property / cites work: Q5477946 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Axiomatizations of PAL
@@ Property / cites work: On Axiomatizations of PAL / rank @@
+Normal rank