Modelling socio-political competition

被引：2

作者：

Conradie, Willem ^{[1
]}

Palmigiano, Alessandra ^{[2
,3
]}

Robinson, Claudette ^{[3
]}

Tzimoulis, Apostolos ^{[2
]}

Wijnberg, Nachoem ^{[4
,5
]}

机构：

[1] Univ Witwatersrand, Sch Math, Johannesburg, South Africa

[2] Vrije Univ, Sch Business & Econ, Amsterdam, Netherlands

[3] Univ Johannesburg, Dept Math & Appl Math, Johannesburg, South Africa

[4] Univ Amsterdam, Amsterdam Business Sch, Amsterdam, Netherlands

[5] Univ Johannesburg, Coll Business & Econ, Johannesburg, South Africa

来源：

FUZZY SETS AND SYSTEMS | 2021年 / 407卷

关键词：

Non distributive modal logic; Graph-based semantics; Many-valued modal logic; Competing theories; Socio-political competition;

D O I：

10.1016/j.fss.2020.02.005

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 Ploscica'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. (C) 2020 Elsevier B.V. All rights reserved.

引用

页码：115 / 141

页数：27

共 27 条

[1] Fuzzy Galois connections [J].

Bêlohlávek, R .

MATHEMATICAL LOGIC QUARTERLY, 1999, 45 (04) :497-504

[2]

Birkhoff Garrett, 1970, J COMB TH, V8, P115, DOI [DOI 10.1016/S0021-9800(70)80014-X, 10.1016/S0021-9800(70)80014-X]

[3]

Conradie W, 2019, ATL STUD UNCER MODEL, V1, P721

[4] Algorithmic correspondence and canonicity for non-distributive logics [J].

Conradie, Willem ;

Palmigiano, Alessandra .

ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (09) :923-974

[5] Toward an Epistemic-Logical Theory of Categorization [J].

Conradie, Willem ;

Frittella, Sabine ;

Palmigiano, Alessandra ;

Piazzai, Michele ;

Tzimoulis, Apostolos ;

Wijnberg, Nachoem M. .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (251) :167-186

[6] Constructive Canonicity for Lattice-Based Fixed Point Logics [J].

Conradie, Willem ;

Craig, Andrew ;

Palmigiano, Alessandra ;

Zhao, Zhiguang .

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, 2017, 10388 :92-109

[7] Categories: How I Learned to Stop Worrying and Love Two Sorts [J].

Conradie, Willem ;

Frittella, Sabine ;

Palmigiano, Alessandra ;

Piazzai, Michele ;

Tzimoulis, Apostolos ;

Wijnberg, Nachoem M. .

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 :145-164

[8]

Conradie Willem, 2018, ARXIV180908225

[9] Modelling Informational Entropy [J].

Conradiel, Willem ;

Craig, Andrew ;

Palmigiano, Alessandra ;

Wijnberg, Nachoem M. .

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 :140-160

[10]

Craig, 2015, P TACL

← 1 2 3 →