Indexed actuality

Journal of Philosophical Logic 30 (4):355-393 (2001)
  Copy   BIBTEX


The word 'actually' often refers to what is in fact the case, but it also often points to what would have been the case in a possible situation that is being envisaged. To capture such nuances, the formal languages discussed in the paper add subscripts to modal operators; in the model theory the subscripts allow an actuality operator to turn the evaluation of a formula to a world introduced by a preceding possibility or necessity operator having the same subscript. The paper covers both propositional and predicate logic and proves the completeness of axiomatizations that extend standard modal systems beginning with K



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library


Added to PP

64 (#243,546)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
The metaphysics of modality.Graeme Forbes - 1985 - Oxford: Clarendon Press.
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.
Entities and Indices.M. J. Cresswell - 1992 - Studia Logica 51 (2):338-339.

View all 8 references / Add more references