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

DOI10.1007/3-540-61313-7_69MaRDI QIDQ4632294zbMATH OpenOpenAlexFDO

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

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

conjunctive normal formmodal depthnonmonotonic extension of modal logic S5nonmonotonic logicnonmonotonic reasoningpossible worlds semantics

Mathematics Subject Classification ID

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

Cites work

• A logic for default reasoning
• A simple deduction method for modal logic
• All I know: A study in autoepistemic logic
• Autoepistemic logic
• scientific article; zbMATH DE number 3865242 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• MIPC as the formalisation of an intuitionist concept of modality
• Non-monotonic logic. I
• Semantical considerations on nonmonotonic logic

This page was built for publication: Talkin'bout consistency, or: When logically possible becomes possible

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632294)