TY - JOUR
T1 - Modelling socio-political competition
AU - Conradie, Willem
AU - Palmigiano, Alessandra
AU - Robinson, Claudette
AU - Tzimoulis, Apostolos
AU - Wijnberg, Nachoem
PY - 2021/3/1
Y1 - 2021/3/1
N2 - 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.
AB - 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.
KW - Competing theories
KW - Graph-based semantics
KW - Many-valued modal logic
KW - Non distributive modal logic
KW - Socio-political competition
UR - http://www.scopus.com/inward/record.url?scp=85080044936&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85080044936&partnerID=8YFLogxK
U2 - 10.1016/j.fss.2020.02.005
DO - 10.1016/j.fss.2020.02.005
M3 - Article
AN - SCOPUS:85080044936
VL - 407
SP - 115
EP - 141
JO - Fuzzy Sets and Systems
JF - Fuzzy Sets and Systems
SN - 0165-0114
ER -
