Translator Disclaimer
Fall 1996 A Basic System of Congruential-to-Monotone Bimodal Logic and Two of Its Extensions
I. L. Humberstone
Notre Dame J. Formal Logic 37(4): 602-612 (Fall 1996). DOI: 10.1305/ndjfl/1040046144

Abstract

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.

Citation

Download Citation

I. L. Humberstone. "A Basic System of Congruential-to-Monotone Bimodal Logic and Two of Its Extensions." Notre Dame J. Formal Logic 37 (4) 602 - 612, Fall 1996. https://doi.org/10.1305/ndjfl/1040046144

Information

Published: Fall 1996
First available in Project Euclid: 16 December 2002

zbMATH: 0883.03010
MathSciNet: MR1446231
Digital Object Identifier: 10.1305/ndjfl/1040046144

Subjects:
Primary: 03B45

Rights: Copyright © 1996 University of Notre Dame

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.37 • No. 4 • Fall 1996
Back to Top