Default logic as dynamic doxastic logic

DOI10.1023/A:1005546526502zbMATH Open0956.03019OpenAlexW4254584563WikidataQ59410258 ScholiaQ59410258MaRDI QIDQ1583790FDOQ1583790

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

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

zbMATH Keywords

belief revisiondefault logicdynamic doxastic logic

Mathematics Subject Classification ID

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

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?
• Title not available (Why is that?)
• Recapturing dynamic logic of relation changers via bounded morphisms
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• A logical framework for the Islamic law
• Title not available (Why is that?)
• 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)