Topological Semantics for Conditionals
Johannes Marti, Riccardo Pinosio · UvA-DARE (University of Amsterdam) · 2014
In this paper we explore the topological semantics for conditional logic that arises from the Alexandroff equivalence between preorders and topological spaces. This clarifies the relation between the standard order semantics and premise semantics for conditionals. As an application we provide a construction of relative similarity orders between possible worlds from topologies of relevant propositions. The conditional logic over topologies is intertranslatable with the modal logic S4u.