Modelling competing theories

Conference paper (2020)

Authors

Willem Conradie University of Witwatersrand
Andrew Craig University of Johannesburg
A. Palmigiano , University of Johannesburg
Nachoem M. Wijnberg University of Johannesburg
Copyright: © 2020 Willem Conradie, Andrew Craig, A. Palmigiano, Nachoem Wijnberg
DOI: https://doi.org/10.2991/eusflat-19.2019.100
More Info
expand_more

Published Date

2020

Language

English

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.