David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 30 (4):355-393 (2001)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier (2013). Actuality in Propositional Modal Logic. Studia Logica 101 (3):487-503.
Yannis Stephanou (2010). The Meaning of 'Actually'. Dialectica 64 (2):153-185.
Similar books and articles
Michael Fara & Timothy Williamson (2005). Counterparts and Actuality. Mind 114 (453):1-30.
Michael Nelson & Edward N. Zalta (2012). A Defense of Contingent Logical Truths. Philosophical Studies 157 (1):153-162.
Andrew Bacon (forthcoming). Representing Counterparts. Australasian Journal of Logic.
Fabrice Correia (2007). Modality, Quantification, and Many Vlach-Operators. Journal of Philosophical Logic 36 (4):473 - 488.
Allen Hazen (1978). The Eliminability of the Actuality Operator in Propositional Modal Logic. Notre Dame Journal of Formal Logic 19 (4):617-622.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Adrian Miroiu (1999). Actuality and World-Indexed Sentences. Studia Logica 63 (3):311-330.
Added to index2009-01-28
Total downloads22 ( #73,976 of 1,096,454 )
Recent downloads (6 months)1 ( #238,630 of 1,096,454 )
How can I increase my downloads?