Topic: PARACONSISTENCY
Combining possibility and knowledge
By Alexandre Costa-Leite
Source: CLE
This paper is an attempt to define a new modality with philosophical interest by combining the basic modal ingredients of possibility and knowledge. This combination is realized via product of modal frames so as to construct a knowability modality, which is a bidimensional constructor of arity one defined in a two-dimensional modal frame. A semantical interpretation for the operator is proposed, as well as an axiomatic system able to account for inferences related to this new modality. The resulting logic for knowability LK is shown to be sound and complete with respect to its class of modal-epistemic product models.
Download
Posted by Tony Marmo
at 01:01 BST
Updated: Thursday, 23 September 2004 05:12 BST