Inquisitive dynamic epistemic logic (Q514589): 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-014-0404-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1992261874
@@ Property / OpenAlex ID: W1992261874 / rank @@
+Normal rank
@@ Property / cites work @@
+Question–answer games
@@ Property / cites work: Question–answer games / rank @@
+Normal rank
@@ Property / cites work @@
+Knowing whether A or B
@@ Property / cites work: Knowing whether A or B / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logic for belief revision
@@ Property / cites work: Dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Public Announcements, Common Knowledge, and Private Suspicions
+Normal rank
@@ Property / cites work @@
+Toward a dynamic logic of questions
@@ Property / cites work: Toward a dynamic logic of questions / rank @@
+Normal rank
@@ Property / cites work @@
+Inquisitive logic
@@ Property / cites work: Inquisitive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Logic of Information Exchange
@@ Property / cites work: Towards a Logic of Information Exchange / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics and logic of declaratives and interrogatives
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about information change
@@ Property / cites work: Reasoning about information change / rank @@
+Normal rank
@@ Property / cites work @@
+Inquisitive Semantics: Two Possibilities for Disjunction
+Normal rank
@@ Property / cites work @@
+On the representation of context
@@ Property / cites work: On the representation of context / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287487
@@ Property / cites work: Q4287487 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4173340
@@ Property / cites work: Q4173340 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a Dynamic Logic of Questions
@@ Property / cites work: Toward a Dynamic Logic of Questions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648949
@@ Property / cites work: Q4648949 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of Questions and Public Announcements
@@ Property / cites work: Logic of Questions and Public Announcements / rank @@
+Normal rank
@@ Property / cites work @@
+Logics of public communications
@@ Property / cites work: Logics of public communications / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations for the semantic treatment of inquisitive content
+Normal rank
@@ Property / cites work @@
+Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
+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 @@
+Logics of communication and change
@@ Property / cites work: Logics of communication and change / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to dynamic logic for belief revision
@@ Property / cites work: Prolegomena to dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Semantics with Functional Programming
+Normal rank