Merging DEL and ETL

DOI10.1007/S10849-009-9116-7zbMATH Open1216.03031OpenAlexW2008107534MaRDI QIDQ616038FDOQ616038

Authors: Tomohiro Hoshi 

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

Recommendations

• Merging frameworks for interaction
• Logics of rational interaction
• Dynamic epistemic logic with branching temporal structures
• Alternating-time temporal dynamic epistemic logic
• Connecting dynamic epistemic and temporal epistemic logics

zbMATH Keywords

dynamic epistemic logicepistemic temporal logicreasoning about knowledgeintelligent interaction

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Cites Work

• Reasoning about information change
• The logic of public announcements, common knowledge, and private suspicions
• Logics of communication and change
• Belief, awareness, and limited reasoning
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Title not available (Why is that?)
• Agreeing to disagree
• Dynamic epistemic logic and temporal modality
• `Knowable' as `known after an announcement'
• Agreement theorems in dynamic-epistemic logic. Extended abstract
• Title not available (Why is that?)
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Merging frameworks for interaction
• A knowledge based semantics of messages
• The tree of knowledge in action: towards a common perspective
• Bridges between dynamic doxastic and doxastic temporal logics
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Dynamic epistemic logic with branching temporal structures
• Title not available (Why is that?)
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Modeling belief in dynamic systems. I: Foundations
• Dynamic epistemic temporal logic
• Bridging learning theory and dynamic epistemic logic
• Logics of rational interaction
• Sum and Product in Dynamic Epistemic Logic
• Dynamic logics of knowledge and access

Cited In (7)

• A logic for extensional protocols
• Merging frameworks for interaction
• Logic and complexity in cognitive science
• Intensional protocols for dynamic epistemic logic
• Dynamic epistemic logic with branching temporal structures
• Logics of temporal-epistemic actions
• Action models for coalition logic

This page was built for publication: Merging DEL and ETL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616038)