Merging DEL and ETL

DOI10.1007/S10849-009-9116-7MaRDI QIDQ616038zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)