Modelling competing theories

Authors :: Conradie, Willem
Craig, Andrew
Palmigiano, Alessandra
Wijnberg, Nachoem M.
Publication Year :: 2019
Abstract: We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the context of the formal analysis of the interaction between (competing) scientific theories.<br />Comment: To appear in the proceedings of EUSFLAT 2019. Pre-final version with expanded proofs