Nonmonotonic default modal logics

DOI10.1145/115234.115350zbMath0799.68174OpenAlexW2043426101MaRDI QIDQ4302860

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 revisionnonmonotonic reasoningdeduction theorem for modal logic

Mathematics Subject Classification ID

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

Related Items (6)

Minimal knowledge problem: A new approach ⋮ Interpretations of open default theories in non-monotonic logics ⋮ Multi-modal nonmonotonic logics of minimal knowledge ⋮ Existential definability of modal frame classes ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ A uniform tableaux method for nonmonotonic modal logics

This page was built for publication: Nonmonotonic default modal logics