A family of three-valued autoepistemic logics
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Notes on naive semanticsJournal of Philosophical Logic, 1982