A basic system of congruential-to-monotone bimodal logic and two of its extensions

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. © 1996 by the University of Notre Dame. All rights reserved.