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

Arlo-Costa, Horacio

doi:10.1184/R1/6491585.v1

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

https://doi.org/10.1184/R1/6491585

journal contribution

posted on 2001-04-29, 00:00 authored 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

Related Materials

1.
URL - References http://dx.doi.org/10.1023/A:1016339125161

Publisher Statement

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

Date

2001-04-29

Usage metrics

Keywords

First order modal logic Epistemic logic Barcan forumlas Logic of likelihood Philosophy

Licence

In Copyright

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

History

Related Materials

Publisher Statement

Date

Usage metrics

Categories

Keywords

Licence

Exports