Modelling competing theories
Logic
2019-07-01 v2
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.
Keywords
Cite
@article{arxiv.1905.11748,
title = {Modelling competing theories},
author = {Willem Conradie and Andrew Craig and Alessandra Palmigiano and Nachoem M. Wijnberg},
journal= {arXiv preprint arXiv:1905.11748},
year = {2019}
}
Comments
To appear in the proceedings of EUSFLAT 2019. Pre-final version with expanded proofs