Modelling competing theories

MaRDI QIDQ6319493zbMATH OpenFDO

Authors Willem Conradie, Andrew P. K. Craig, Alessandra Palmigiano, Nachoem Wijnberg

Publication date 28 May 2019

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

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.

This page was built for publication: Modelling competing theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6319493)