Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic

Synthese 201 (2):1-27 (2023)
  Copy   BIBTEX

Abstract

This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs and also the epistemic logic of local reasoning with veracity and positive introspection, and upon adding a single combinatorial axiom, it is also the logic of ‘someone knows’ for a fixed finite number of positively introspective agents. At the core of all these completeness results is a new canonical neighborhood model construction for monotone modal logics that is capable of dealing with all these diverse cases. We also provide an axiomatization for the logic of all non-n-colorable hypergraphs based on a filtration argument that also shows the decidability of the logics of hypergraphs we study.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Errata: A Solution to the Completeness Problem for Weakly Aggregative Modal Logic.[author unknown] - 1998 - Journal of Symbolic Logic 63 (4).
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.
Modal Aggregation and the Theory of Paraconsistent Filters.Peter Apostoli - 1996 - Mathematical Logic Quarterly 42 (1):175-190.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Hypergraphs and proper forcing.Jindřich Zapletal - 2019 - Journal of Mathematical Logic 19 (2):1950007.
A Logic for Conditional Local Strategic Reasoning.Valentin Goranko & Fengkui Ju - 2022 - Journal of Logic, Language and Information 31 (2):167-188.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.

Analytics

Added to PP
2023-01-26

Downloads
29 (#474,441)

6 months
11 (#128,523)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Yifeng Ding
Peking University
Yanjing Wang
Peking University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references