First order extensions of classical systems of modal logic; the role of the Barcan schemas

Studia Logica 71 (1):87-118 (2002)
  Copy   BIBTEX

Abstract

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. The results have interesting applications in epistemic logic. In particular we suggest that the proposed models can be used in order to study monadic operators of probability (Kyburg, 1990) and likelihood (Halpern-Rabin, 1987).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

First-order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.
Barcan Both Ways.Melvin Fitting - 1999 - Journal of Applied Non-Classical Logics 9 (2):329-344.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Michael Frauchiger (ed.), Themes From Barcan Marcus. Ontos Verlag. pp. 51-74.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.

Analytics

Added to PP
2009-01-28

Downloads
85 (#181,210)

6 months
1 (#1,028,709)

Historical graph of downloads
How can I increase my downloads?