Ground Nonmonotonic Modal Logics
From MaRDI portal
Publication:4351800
DOI10.1093/logcom/7.4.523zbMath0881.03018OpenAlexW2018459570WikidataQ58006984 ScholiaQ58006984MaRDI QIDQ4351800
Riccardo Rosati, Daniele Nardi, Francesco M. Donini
Publication date: 27 January 1998
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/7.4.523
computational complexitymodal logicnonmonotonic logicknowledge representationnonmonotonic reasoningpreference semantics
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)
Related Items
Revisiting da Costa logic, Multi-modal nonmonotonic logics of minimal knowledge, An epistemic operator for description logics, Semantics and complexity of abduction from default theories, Revisiting \(\mathbb Z\), On the decidability and complexity of reasoning about only knowing, Minimal temporal epistemic logic, A non-preferential semantics of non-monotonic modal logic, A uniform tableaux method for nonmonotonic modal logics
