A solution to the completeness problem for weakly aggregative modal logic

DOI10.2307/2275759MaRDI QIDQ4858819zbMATH OpenOpenAlexFDO

Authors 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

frameKripke-style semanticsmodal logicmodel

Mathematics Subject Classification ID

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

Recommendations

• On the completeness of first degree weakly aggregative modal logics
• Revisiting completeness for the Kn modal logics: a new proof
• Model theoretical aspects of weakly aggregative modal logic
• Modal Aggregation and the Theory of Paraconsistent Filters
• Multi-dimensional semantics for modal logics

Cites work

• scientific article; zbMATH DE number 4142014 (Why is no real title available?)
• Inference and necessity
• Some remarks on (weakly) weak modal logics
• The n-adic first-order undefinability of the Geach formula
• The preservation of coherence
• Universal First‐Order Definability in Modal Logic

Cited in

(10)

• On the completeness of first degree weakly aggregative modal logics
• Chunk and permeate. II: Bohr's hydrogen atom
• Paraconsistent inference relations induced from inconsistency measures
• Hypergraphs, local reasoning, and weakly aggregative modal logic
• Model theoretical aspects of weakly aggregative modal logic
• Weakly aggregative modal logic: characterization and interpolation
• Revisiting completeness for the Kn modal logics: a new proof
• On the Preservation of Reliability
• An evidence logic perspective on Schotch-Jennings forcing
• Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4858819)