Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 37, Number 4 (1996), 602-612.
A Basic System of Congruential-to-Monotone Bimodal Logic and Two of Its Extensions
If what is known need not be closed under logical consequence, then a distinction arises between something's being known to be the case (by a specific agent) and its following from something known (to that subject). When each of these notions is represented by a sentence operator, we get a bimodal logic in which to explore the relations between the two notions.
Notre Dame J. Formal Logic, Volume 37, Number 4 (1996), 602-612.
First available in Project Euclid: 16 December 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Humberstone, I. L. A Basic System of Congruential-to-Monotone Bimodal Logic and Two of Its Extensions. Notre Dame J. Formal Logic 37 (1996), no. 4, 602--612. doi:10.1305/ndjfl/1040046144. https://projecteuclid.org/euclid.ndjfl/1040046144