On the completeness of first degree weakly aggregative modal logics

DOI10.1023/A:1017940015180zbMATH Open0874.03018MaRDI QIDQ1362596FDOQ1362596

Authors: Peter Apostoli 

Publication date: 5 November 1997

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

Recommendations

• A solution to the completeness problem for weakly aggregative modal logic
• Conjunctive normal forms and weak modal logics without the axiom of necessity
• scientific article
• Finite models constructed from canonical formulas
• Modal Aggregation and the Theory of Paraconsistent Filters

zbMATH Keywords

completenessdecidabilityfiltrationcanonical modelweakly aggregative modal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Cites Work

• Inference and necessity
• The preservation of coherence
• Intensional logics without iterative axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some remarks on (weakly) weak modal logics
• Title not available (Why is that?)
• The n-adic first-order undefinability of the Geach formula
• Universal First‐Order Definability in Modal Logic
• A solution to the completeness problem for weakly aggregative modal logic

Cited In (2)

• Model theoretical aspects of weakly aggregative modal logic
• A solution to the completeness problem for weakly aggregative modal logic

This page was built for publication: On the completeness of first degree weakly aggregative modal logics

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