Default logic as dynamic doxastic logic

DOI10.1023/A:1005546526502MaRDI QIDQ1583790zbMATH OpenOpenAlexWikidataFDO

Authors Krister Segerberg

Publication date 17 January 2001

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005546526502

zbMATH Keywords

belief revisiondefault logicdynamic doxastic logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• scientific article; zbMATH DE number 1754688
• DDL as an ``internalization of dynamic belief revision
• Dynamic doxastic logic: why, how, and where to?
• On the dynamics of default reasoning
• scientific article; zbMATH DE number 1341456

Cited in

(14)

• Prolegomena to dynamic logic for belief revision
• DDL unlimited: Dynamic doxastic logic for introspective agents
• Dynamic doxastic logic: why, how, and where to?
• Recapturing dynamic logic of relation changers via bounded morphisms
• scientific article; zbMATH DE number 1754688 (Why is no real title available?)
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• A logical framework for the Islamic law
• scientific article; zbMATH DE number 1794691 (Why is no real title available?)
• Dynamic logic for belief revision
• Stability, strength and sensitivity: converting belief into knowledge
• Towards contingent world descriptions in description logics
• Playing cards with Hintikka: an introduction to dynamic epistemic logic
• On revocable and irrevocable belief revision
• Two logical faces of belief revision

This page was built for publication: Default logic as dynamic doxastic logic

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