Revisiting completeness for the Kn modal logics: a new proof

DOI10.1093/jigpal/8.1.101zbMath1034.03019OpenAlexW2003782541MaRDI QIDQ4444913

Ray E. Jennings, Tara Nicholson, Darko Sarenac

Publication date: 28 January 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/8.1.101

zbMATH Keywords

aggregationmodal logiccompletenessrelational frames\(n\)-traceschromatic indices of hypergraphs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Hypergraphs, local reasoning, and weakly aggregative modal logic ⋮ Model theoretical aspects of weakly aggregative modal logic

This page was built for publication: Revisiting completeness for the Kn modal logics: a new proof