# Modelling competing theories

## TL;DR

This paper presents a comprehensive many-valued semantics for two lattice-based modal logics using reflexive graphs, aiming to analyze interactions between competing scientific theories.

## Contribution

It introduces a novel many-valued semantic framework for lattice-based modal logics, enabling formal analysis of scientific theory interactions.

## Key findings

- Developed a complete many-valued semantics for two modal logics
- Applied the framework to model interactions between scientific theories
- Provided interpretations and potential applications in scientific analysis

## 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.