Modal nonmonotonic logics

DOI10.1145/153724.153773zbMath0783.68121OpenAlexW2086424170MaRDI QIDQ4271091

Grigori Schwarz, Miroslaw Truszczynski, Victor W. Marek

Publication date: 4 January 1994

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

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

zbMATH Keywords

belief revisionnonmonotonic reasoningmodal logicsMcDermott-Doyle scheme

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (14)

Minimal knowledge problem: A new approach ⋮ A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ In search of a ``true logic of knowledge: the nonmonotonic perspective ⋮ On embedding default logic into Moore's autoepistemic logic ⋮ On the impact of stratification on the complexity of nonmonotonic reasoning ⋮ Definability and commonsense reasoning ⋮ Graded hypothesis theories ⋮ Preference queries in deductive databases ⋮ Strongly analytic tableaux for normal modal logics ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Default logic generalized and simplified ⋮ A uniform tableaux method for nonmonotonic modal logics ⋮ In search of a ``true logic of knowledge: The nonmonotonic perspective ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults

This page was built for publication: Modal nonmonotonic logics