2019/05/28 by Conradie, Willem, Craig, Andrew, Palmigiano, Alessandra +1
#03B45 #03B50 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1905.11748
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.