Completeness and decidability results for some propositional modal logics containing "actually" operators

Journal of Philosophical Logic

Volumn 30, Issue 1, 2001, Pages 57-78

  Gregory, Dominic ^a  

^a TRINITY COLLEGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17444404834     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1017579410231     Document Type: Article

References (12)

1. Chellas, B. F.: Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
2. Crossley, J. N. and Humberstone, I. L.: The logic of "actually", Rep. Math. Logic 8 (1978), 11-29.
3. Davies, M. K. and Humberstone, I. L.: Two notions of necessity, Philos. Stud. 38 (1980), 1-30.
4. Forbes, G.: Languages of Possibility, Aristotelian Society Series 9, Basil Blackwell, Oxford, 1989.
5. Forbes, G.: Melia on modalism, Philos. Stud. 68 (1992), 56-63.
6. Hazen, A.: Expressive completeness in modal languages, J. Philos. Logic 5 (1976), 25-46.
7. Hazen, A.: Actuality and quantification, Notre Dame J. Formal Logic 31 (1990), 498-508.
8. Hodes, H. T.: Axioms for actuality, J. Philos. Logic 13 (1984), 27-34.
9. Hughes, G. E. and Cresswell, M. J.: A New Introduction to Modal Logic, Routledge, London, 1996.
10. Humberstone, I. L.: Scope and subjunctivity, Philosophia 12 (1981), 99-126.
11. Melia, J.: Against modalism, Philos. Stud. 68 (1992), 35-56.
12. Segerberg, K.: An Essay in Classical Modal Logic, Filosofiska Studier, Uppsala, 1971.