Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg
Published 2019-05-28Version 1
We introduce a complete many-valued semantics for basic normal lattice-based modal logic. 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.
Comments: To appear in the proceedings of EUSFLAT 2019
Related articles:
The logic of vague categories
![QR code for arXiv:1905.11748 [math.LO]](http://oss.arxitics.com/images/favicon.svg)