Transverse Semantics: Simplifying Completeness for Weak Modal Logic

摘要

A modification of neighborhood semantics is introduced for the purpose of obtaining a simplified proof that weakly aggregative modal logic is complete with respect to (n + 1)-ary relational frames. This new class of semantic structures exploits the theory of transverse hypergraphs. Unlike the other proofs in the literature, the one included here does not cite chromatic, or colouring, compactness.