Gentzen style systems for K45 and K45D
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 245-256
- https://doi.org/10.1007/3-540-51237-3_20
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- On the relation between default and autoepistemic logicArtificial Intelligence, 1988
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Nonmonotonic Logic IIJournal of the ACM, 1982
- Modal LogicPublished by Cambridge University Press (CUP) ,1980
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935