Date of Original Version

4-29-2001

Type

Article

Published In

Studia Logica (2002) 71: 87-118.

Abstract or Table of Contents

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.