You are not currently logged in.
Access JSTOR 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
You can always find the topics here!Topics: Modal logic, Boolean data, Logical theorems, Hypergraphs, Model theory, Vertices, Aggregation, Logic, Necessary conditions
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
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