中央研究院 資訊科學研究所

Topological Evidence Logic (TEL) is a recent approach to epistemic logic that uses topological tools to model coherent epistemic justification. Specifically, a hypothesis is coherently justified if and only if it is entailed by a dense open set. In its simplest form, TEL can be formulated as an extension of S4 with a global modality. All currently studied forms of TEL are based on classical propositional logic, which has been heavily criticised for misrepresenting the way in which ordinary agents reason. In this article, we show that the TEL approach is robust under modifications to the propositional base. We show that an extension of the intuitionistic modal framework recently introduced by de Groot and Shillito, incorporating a global modality, enables coherent justification to be expressed in an intuitionistic setting. Furthermore, we adapt the recent work of Standefer et al., which extends relevant logic with a global modality, to show that coherent justification can be expressed in a relevant setting if an interior-of-complement operator is added to the language. Our main technical result is a soundness and completeness theorem for relevant TEL based on the weak relevant modal logic BS4.