Inquisitive dynamic epistemic logic

DOI10.1007/s11229-014-0404-7zbMath1357.03046OpenAlexW1992261874MaRDI QIDQ514589

Ivano A. Ciardelli, Floris Roelofsen

Publication date: 9 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-014-0404-7

zbMATH Keywords

information exchangedynamic epistemic logicinquisitive semanticslogic of questions

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Automated Generation of Erotetic Search Scenarios, A Logic of Knowing How, Inquisitive logic as an epistemic logic of knowing how, Questions and dependency in intuitionistic logic, Structural completeness and superintuitionistic inquisitive logics, Action models in inquisitive logic, Relevant epistemic logic with public announcements and common knowledge, Free choice in modal inquisitive logic, Questions as information types, Unnamed Item, Informational dynamics of epistemic possibility modals, A logic of goal-directed knowing how, Beyond Knowing That: A New Generation of Epistemic Logics, A Dynamic Logic of Interrogative Inquiry, Inferential erotetic logic meets inquisitive semantics, The interrogative model of inquiry meets dynamic epistemic logics, On the semantics and logic of declaratives and interrogatives, A uniform semantics for embedded interrogatives: \textit{an} answer, not necessarily \textit{the} answer, Implicit and explicit stances in logic, Natural language and logic of agency, Inquisitive propositional dynamic logic, LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE, Knowing Values and Public Inspection, INQUISITIVE BISIMULATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic foundations for the semantic treatment of inquisitive content
• On the semantics and logic of declaratives and interrogatives
• Inquisitive logic
• Toward a dynamic logic of questions
• Prolegomena to dynamic logic for belief revision
• Logics of communication and change
• Dynamic epistemic logic
• Reasoning about information change
• On the representation of context
• Knowing whether A or B
• Logics of public communications
• Question–answer games
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Logic of Questions and Public Announcements
• Logical Dynamics of Information and Interaction
• Inquisitive Semantics: Two Possibilities for Disjunction
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Dynamic logic for belief revision
• Toward a Dynamic Logic of Questions
• Towards a Logic of Information Exchange
• Computational Semantics with Functional Programming