On the completeness of first degree weakly aggregative modal logics
- Cite this article as:
- Apostoli, P. Journal of Philosophical Logic (1997) 26: 169. doi:10.1023/A:1017940015180
This paper extends David Lewis’ result that all first degree modal logics are complete to weakly aggregative modal logic by providing a filtration-theoretic version of the canonical model construction of Apostoli and Brown. The completeness and decidability of all first-degree weakly aggregative modal logics is obtained, with Lewis’s result for Kripkean logics recovered in the case k=1.