Merging DEL and ETL
From MaRDI portal
Publication:616038
DOI10.1007/s10849-009-9116-7zbMath1216.03031OpenAlexW2008107534MaRDI QIDQ616038
Publication date: 7 January 2011
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-009-9116-7
Related Items
A logic for extensional protocols ⋮ Logics of temporal-epistemic actions ⋮ Intensional protocols for dynamic epistemic logic ⋮ Logic and Complexity in Cognitive Science
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic logics of knowledge and access
- Logics of communication and change
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- Bridging learning theory and dynamic epistemic logic
- Dynamic epistemic logic with branching temporal structures
- Merging frameworks for interaction
- Belief, awareness, and limited reasoning
- The complexity of reasoning about knowledge and time. I: Lower bounds
- Agreeing to disagree
- Reasoning about information change
- Modeling belief in dynamic systems. I: Foundations
- A knowledge based semantics of messages
- On the Simplest Quartic Fields and Related Thue Equations
- Logics of Rational Interaction
- Dynamic Epistemic Logic and Temporal Modality
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Sum and Product in Dynamic Epistemic Logic
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
- Bridges between Dynamic Doxastic and Doxastic Temporal Logics
- Dynamic Epistemic Logic and Knowledge Puzzles
- Dynamic logic for belief revision
- Agreement Theorems in Dynamic-Epistemic Logic
- Dynamic Epistemic Temporal Logic
- Complete Axiomatizations for Reasoning about Knowledge and Time
This page was built for publication: Merging DEL and ETL