Awareness, negation and Logical omniscience
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 282-300
- https://doi.org/10.1007/bfb0018448
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Belief, awareness, and limited reasoningArtificial Intelligence, 1987
- STEPS TOWARDS A FIRST-ORDER LOGIC OF EXPLICIT AND IMPLICIT BELIEFPublished by Elsevier ,1986
- ON EPISTEMIC LOGIC AND LOGICAL OMNISCIENCEPublished by Elsevier ,1986
- WHAT AWARENESS ISN'T: A SENTENTIAL VIEW OF IMPLICIT AND EXPLICIT BELIEFPublished by Elsevier ,1986
- Intuitionistic LogicPublished by Springer Nature ,1986
- Semantical Investigations in Heyting’s Intuitionistic LogicPublished by Springer Nature ,1981
- A logic of believing, knowing, and inferringSynthese, 1974