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)|
|Through your library||Configure|
Similar books and articles
Michael Fara & Timothy Williamson (2005). Counterparts and Actuality. Mind 114 (453):1-30.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Allen Hazen (1978). The Eliminability of the Actuality Operator in Propositional Modal Logic. Notre Dame Journal of Formal Logic 19 (4):617-622.
Fabrice Correia (2007). Modality, Quantification, and Many Vlach-Operators. Journal of Philosophical Logic 36 (4):473 - 488.
Andrew Bacon (forthcoming). Representing Counterparts. Australasian Journal of Logic.
Michael Nelson & Edward N. Zalta (2012). A Defense of Contingent Logical Truths. Philosophical Studies 157 (1):153-162.
Adrian Miroiu (1999). Actuality and World-Indexed Sentences. Studia Logica 63 (3):311-330.
Added to index2009-01-28
Total downloads21 ( #67,444 of 1,008,710 )
Recent downloads (6 months)1 ( #64,702 of 1,008,710 )
How can I increase my downloads?