On the completeness of first degree weakly aggregative modal logics

Journal of Philosophical Logic 26 (2):169-180 (1997)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
32 (#429,625)

6 months
1 (#1,028,709)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.
Inference and necessity.P. K. Schotch & R. E. Jennings - 1980 - Journal of Philosophical Logic 9 (3):327-340.
Intensional logics without interative axioms.David K. Lewis - 1974 - Journal of Philosophical Logic 3 (4):457-466.

View all 13 references / Add more references