Translator Disclaimer
2005 First-Order Modal Logic with an 'Actually' Operator
Yannis Stephanou
Notre Dame J. Formal Logic 46(4): 381-405 (2005). DOI: 10.1305/ndjfl/1134397658

Abstract

In this paper the language of first-order modal logic is enriched with an operator @ ('actually') such that, in any model, the evaluation of a formula @A at a possible world depends on the evaluation of A at the actual world. The models have world-variable domains. All the logics that are discussed extend the classical predicate calculus, with or without identity, and conform to the philosophical principle known as serious actualism. The basic logic relies on the system K, whereas others correspond to various properties that the actual world may have. All the logics are axiomatized.

Citation

Download Citation

Yannis Stephanou. "First-Order Modal Logic with an 'Actually' Operator." Notre Dame J. Formal Logic 46 (4) 381 - 405, 2005. https://doi.org/10.1305/ndjfl/1134397658

Information

Published: 2005
First available in Project Euclid: 12 December 2005

zbMATH: 1092.03010
MathSciNet: MR2183050
Digital Object Identifier: 10.1305/ndjfl/1134397658

Subjects:
Primary: 03B45

Rights: Copyright © 2005 University of Notre Dame

JOURNAL ARTICLE
25 PAGES


SHARE
Vol.46 • No. 4 • 2005
Back to Top