Studia Logica 38 (3):277 - 296 (1979)
The main purpose of this paper is to define and study a particular variety of Montague-Scott neighborhood semantics for modal propositional logic. We call this variety the first-order neighborhood semantics because it consists of the neighborhood frames whose neighborhood operations are, in a certain sense, first-order definable. The paper consists of two parts. In Part I we begin by presenting a family of modal systems. We recall the Montague-Scott semantics and apply it to some of our systems that have hitherto be uncharacterized. Then, we define the notion of a first-order indefinite semantics, along with the more specific notion of a first-order uniform semantics, the latter containing as special cases the possible world semantics of Kripke. In Part II we prove consistency and completeness for a broad range of the systems considered, with respect to the first-order indefinite semantics, and for a selected list of systems, with respect to the first-order uniform semantics. The completeness proofs are algebraic in character and make essential use of the finite model property. A by-product of our investigations is a result relating provability in S-systems and provability in T-systems, which generalizes a known theorem relating provability in the systems S 2° and C 2.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Algebraic Semantics for Modal Logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Citations of this work BETA
No citations found.
Similar books and articles
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics.Steve Awodey & Erich H. Reck - unknown
Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
First-Order Classical Modal Logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Added to index2009-01-28
Total downloads18 ( #272,015 of 2,172,874 )
Recent downloads (6 months)1 ( #324,901 of 2,172,874 )
How can I increase my downloads?