Date of Original Version

4-29-2001

Type

Article

Rights Management

The original publication is available at www.springerlink.com.

Abstract or Description

The paper studies first order extensions of classical systems of modal logic (see (Chellas, 1980, part III)). We focus on the role of the Barcan formulas. It is shown that these formulas correspond to fundamental properties of neighborhood frames.

DOI

10.1023/A:1016339125161

Included in

Philosophy Commons

Share

COinS