file.pdf (357.06 kB)

First Order Extensions of Classical Systems of Modal Logic: The Role of the Barcan Schemas

Download (357.06 kB)
journal contribution
posted on 29.04.2001 by Horacio Arlo-Costa
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.

History

Publisher Statement

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

Date

29/04/2001

Exports

Categories

Exports