Ground Nonmonotonic Modal Logics

DOI10.1093/logcom/7.4.523zbMath0881.03018DBLPjournals/logcom/DoniniNR97OpenAlexW2018459570WikidataQ58006984 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

zbMATH Keywords

computational complexitymodal logicnonmonotonic logicknowledge representationnonmonotonic reasoningpreference semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (9)

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

This page was built for publication: Ground Nonmonotonic Modal Logics