ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Abstract 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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00405386