Reasoning about truth
- 30 June 1989
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 39 (2) , 231-244
- https://doi.org/10.1016/0004-3702(89)90027-1
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Languages with self-reference II: Knowledge, belief, and modalityArtificial Intelligence, 1988
- Languages with self-reference I: FoundationsArtificial Intelligence, 1985
- Accepting inconsistencies from the paradoxesJournal of Philosophical Logic, 1984
- Introduction: Paraconsistent logicsStudia Logica, 1984
- Semantic closureStudia Logica, 1984
- Sense, entailment and Modus ponensJournal of Philosophical Logic, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- The logic of paradoxJournal of Philosophical Logic, 1979