A solution to the completeness problem for weakly aggregative modal logic

DOI10.2307/2275759zbMath0837.03016OpenAlexW2010242502MaRDI QIDQ4858819

Peter Apostoli, Bryson Brown

Publication date: 19 December 1995

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

Full work available at URL: https://doi.org/10.2307/2275759

zbMATH Keywords

modal logicframemodelKripke-style semantics

Mathematics Subject Classification ID

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

Related Items (7)

Hypergraphs, local reasoning, and weakly aggregative modal logic ⋮ Model theoretical aspects of weakly aggregative modal logic ⋮ On the completeness of first degree weakly aggregative modal logics ⋮ An evidence logic perspective on Schotch-Jennings forcing ⋮ Chunk and permeate. II: Bohr's hydrogen atom ⋮ On the Preservation of Reliability ⋮ Paraconsistent inference relations induced from inconsistency measures

Cites Work

• Unnamed Item
• The preservation of coherence
• Inference and necessity
• Some remarks on (weakly) weak modal logics
• The n-adic first-order undefinability of the Geach formula
• Universal First‐Order Definability in Modal Logic

This page was built for publication: A solution to the completeness problem for weakly aggregative modal logic