Interpreting Knowledge into Belief in the Presence of Negative Introspection

Abstract

This paper studies a particular interpretation of propositional modal logic into propositional modal logic. Under an epistemic reading of the modality this interpretation can be understood as taking knowledge to be true belief. All normal modal logics of belief that under this definition of knowledge give rise to S5 as the logic of knowledge are determined… (More)

Topics

Cite this paper

@inproceedings{Goris2007InterpretingKI, title={Interpreting Knowledge into Belief in the Presence of Negative Introspection}, author={Evan Goris and Bryan Renne}, year={2007} }