You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
On the Completeness of First Degree Weakly Aggregative Modal Logics
Journal of Philosophical Logic
Vol. 26, No. 2 (Apr., 1997), pp. 169-180
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226607
Page Count: 12
Preview not available
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.
Journal of Philosophical Logic © 1997 Springer