Nonmonotonic default modal logics

DOI10.1145/115234.115350MaRDI QIDQ4302860zbMATH OpenOpenAlexFDO

Authors Michael Tiomkin, Michael Kaminski

Publication date 13 November 1994

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/115234.115350

zbMATH Keywords

belief revisiondeduction theorem for modal logicnonmonotonic reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Artificial intelligence (68T99)

Recommendations

• Modal nonmonotonic logics demodalized
• scientific article; zbMATH DE number 989172
• scientific article; zbMATH DE number 67492
• scientific article; zbMATH DE number 478394
• scientific article; zbMATH DE number 431928

Cited in

(17)

• On the relation between default and modal nonmonotonic reasoning
• Minimal knowledge problem: A new approach
• Operational concepts of nonmonotonic logics. I: Default logic
• Interpretations of open default theories in non-monotonic logics
• Embedding modal nonmonotonic logics into default logic
• Modal nonmonotonic logics demodalized
• A modal logic for subjective default reasoning
• Multi-modal nonmonotonic logics of minimal knowledge
• scientific article; zbMATH DE number 989172 (Why is no real title available?)
• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• The Pure Logic of Necessitation
• scientific article; zbMATH DE number 97791 (Why is no real title available?)
• scientific article; zbMATH DE number 1735628 (Why is no real title available?)
• scientific article; zbMATH DE number 1487805 (Why is no real title available?)
• A uniform tableaux method for nonmonotonic modal logics
• Existential definability of modal frame classes
• Non-adjunctive inference and classical modalities

This page was built for publication: Nonmonotonic default modal logics

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