Abstract
This paper continues the investigation of the logic of competing theories (be they scientific, social, political etc.) initiated in [4]. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive graphs, inspired by Ploščica's representation of general lattices. We axiomatize the resulting many-valued, non-distributive modal logic of these structures and prove a completeness theorem. We illustrate the application of this logic through a case study in which we model competition among interacting political promises and social demands within an arena of political parties social groups.
Original language | English |
---|---|
Pages (from-to) | 115-141 |
Number of pages | 27 |
Journal | Fuzzy Sets and Systems |
Volume | 407 |
Early online date | 14 Feb 2020 |
DOIs | |
Publication status | Published - 1 Mar 2021 |
Funding
The first author gratefully acknowledges the generous financial support of the Faculty of Science at the University of the Witwatersrand, Johannesburg .
Keywords
- Competing theories
- Graph-based semantics
- Many-valued modal logic
- Non distributive modal logic
- Socio-political competition