Talkin'bout consistency, or: When logically possible becomes possible

DOI10.1007/3-540-61313-7_69zbMath1419.68114OpenAlexW1924493638MaRDI QIDQ4632294

Luis Fariñas del Cerro, Andreas Herzig, Antonio Frias Delgado

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_69

zbMATH Keywords

nonmonotonic logicpossible worlds semanticsnonmonotonic reasoningconjunctive normal formmodal depthnonmonotonic extension of modal logic S5

Mathematics Subject Classification ID

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

Cites Work

• A simple deduction method for modal logic
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Non-monotonic logic. I
• All I know: A study in autoepistemic logic
• Autoepistemic logic
• MIPC as the formalisation of an intuitionist concept of modality
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item