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
|Categories||categorize this paper)|
References found in this work BETA
Languages of Possibility: An Essay in Philosophical Logic.Graeme Forbes - 1989 - Blackwell.
Necessity and Truth Theories.Christopher Peacocke - 1978 - Journal of Philosophical Logic 7 (1):473 - 500.
Citations of this work BETA
Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.
S5 for Aristotelian Actualists.Benjamin Mitchell-Yellin & Michael Nelson - 2016 - Philosophical Studies 173 (6):1537-1569.
The Semantics of Actuality Terms: Indexical Vs. Descriptive Theories.Wayne A. Davis - 2015 - Noûs 49 (3):470-503.
In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.Rohan French - 2015 - Studia Logica 103 (2):239-263.
Similar books and articles
A Defense of Contingent Logical Truths.Michael Nelson & Edward N. Zalta - 2012 - Philosophical Studies 157 (1):153-162.
The Eliminability of the Actuality Operator in Propositional Modal Logic.Allen Hazen - 1978 - Notre Dame Journal of Formal Logic 19 (4):617-622.
Models for Normal Intuitionistic Modal Logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Added to index2009-01-28
Total downloads35 ( #139,307 of 2,100,550 )
Recent downloads (6 months)1 ( #395,075 of 2,100,550 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.