Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic

Abstract This paper connects the following three apparently unrelated topics: an epistemic framework fighting logical omniscience, a class of generalized graphs without the arities of relations, and a family of non-normal modal logics rejecting the aggregative axiom. 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. The logics studied are shown to be decidable based on a filtration construction.

Authors

• Yifeng Ding
• Jixin Liu
• Yanjing Wang 0001

Keywords

No keywords are indexed for this paper.