`On being informed': Update logics for knowledge states

DOI10.1007/3-540-40006-0_1MaRDI QIDQ4536312zbMATH OpenFDO

Authors Johan van Benthem

Publication date 25 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-40006-0_1

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computing methodologies and applications (68U99)

Recommendations

• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• scientific article; zbMATH DE number 1537935
• A dynamic informational-epistemic logic
• Dynamic logics for explicit and implicit information
• Dynamic epistemic logics

Cited in

(1)

• Challenges for decidable epistemic logics from security protocols

This page was built for publication: `On being informed': Update logics for knowledge states

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