This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. 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.

中文翻译：

---

社会政治竞争建模

本文继续研究竞争理论的逻辑，无论是科学的、社会的、政治的等。我们介绍了一种多值、多类型的模态语言，我们赋予它基于丰富的反身图的关系语义，灵感来自 Ploscica 对一般格子。我们将这些结构的多值非分配模态逻辑公理化，并证明了完备性定理。我们通过一个案例研究来说明这一逻辑的应用，在该案例研究中，我们对政党社会团体领域内相互作用的政治承诺和社会需求之间的竞争进行建模。