Notre Dame Journal of Formal Logic

First-Order Modal Logic with an 'Actually' Operator

Yannis Stephanou

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.

Article information

Source
Notre Dame J. Formal Logic, Volume 46, Number 4 (2005), 381-405.

Dates
First available in Project Euclid: 12 December 2005

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1134397658

Digital Object Identifier
doi:10.1305/ndjfl/1134397658

Mathematical Reviews number (MathSciNet)
MR2183050

Zentralblatt MATH identifier
1092.03010

Subjects
Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}

Keywords
actually operators first-order modal logic

Citation

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


Export citation

References

  • [1] Blackburn, P., and M. Marx, "Remarks on Gregory's `actually' operator", Journal of Philosophical Logic, vol. 31 (2002), pp. 281--88.
  • [2] Crossley, J. N., and L. Humberstone, "The logic of `actually'", Reports on Mathematical Logic, vol. 8 (1977), pp. 11--29.
  • [3] Gregory, D., "Completeness and decidability results for some propositional modal logics containing `actually' operators", Journal of Philosophical Logic, vol. 30 (2001), pp. 57--78.
  • [4] Hodes, H. T., "Axioms for actuality", Journal of Philosophical Logic, vol. 13 (1984), pp. 27--34.
  • [5] Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London, 1996.
  • [6] Plantinga, A., "Replies to my colleagues", pp. 313--96 in Alvin Plantinga, edited by J. E. Tomberlin and P. van Inwagen, D. Reidel Publishing Co., Dordrecht, 1985.
  • [7] Stephanou, Y., "Investigations into quantified modal logic", Notre Dame Journal of Formal Logic, vol. 43 (2002), pp. 193--220.