Nonmonotonic default modal logics
- 1 October 1991
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 38 (4) , 963-984
- https://doi.org/10.1145/115234.115350
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Intuitionistic basis for non-monotonic logicPublished by Springer Nature ,2005
- General theory of cumulative inferenceLecture Notes in Computer Science, 1989
- Theoretical Foundations for Non-Monotonic Reasoning in Expert SystemsPublished by Springer Nature ,1985
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- A note on deduction theorem for Gödel's propositional calculus G4Studia Logica, 1968
- Semantical Analysis of Modal Logic I Normal Modal Propositional CalculiMathematical Logic Quarterly, 1963
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959