Neighborhood Semantics for Logics of Unknown Truths and False Beliefs
AbstractThis article outlines a semantic approach to the logics of unknown truths, and the logic of false beliefs, using neighborhood structures, giving results on soundness, completeness, and expressivity. Relational semantics for the logics of unknown truths are also addressed, specically the conditions under which sound axiomatizations of these logics might be obtained from their normal counterparts, and the relationship between refexive insensitive logics (RI-logics) and logics containing the provability operator as the primary modal operator.
How to Cite
GILBERT, David; VENTURI, Giorgio. Neighborhood Semantics for Logics of Unknown Truths and False Beliefs. The Australasian Journal of Logic, [S.l.], v. 14, n. 1, apr. 2017. ISSN 1448-5052. Available at: <https://ojs.victoria.ac.nz/ajl/article/view/4033>. Date accessed: 15 nov. 2019. doi: https://doi.org/10.26686/ajl.v14i1.4033.