Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators

1. Chellas, B. F.: Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.

   Google Scholar 

2. Crossley, J. N. and Humberstone, I. L.: The logic of “actually”, Rep. Math. Logic 8 (1978), 11–29.

   Google Scholar 

3. Davies, M. K. and Humberstone, I. L.: Two notions of necessity, Philos. Stud. 38 (1980), 1–30.

   Google Scholar 

4. Forbes, G.: Languages of Possibility, Aristotelian Society Series 9, Basil Blackwell, Oxford, 1989.

   Google Scholar 

5. Forbes, G.: Melia on modalism, Philos. Stud. 68 (1992), 56–63.

   Google Scholar 

6. Hazen, A.: Expressive completeness in modal languages, J. Philos. Logic 5 (1976), 25–46.

   Google Scholar 

7. Hazen, A.: Actuality and quantification, Notre Dame J. Formal Logic 31 (1990), 498–508.

   Google Scholar 

8. Hodes, H. T.: Axioms for actuality, J. Philos. Logic 13 (1984), 27–34.

   Google Scholar 

9. Hughes, G. E. and Cresswell, M. J.: A New Introduction to Modal Logic, Routledge, London, 1996.

   Google Scholar 

10. Humberstone, I. L.: Scope and subjunctivity, Philosophia 12 (1981), 99–126.

    Google Scholar 

11. Melia, J.: Against modalism, Philos. Stud. 68 (1992), 35–56.

    Google Scholar 

12. Segerberg, K.: An Essay in Classical Modal Logic, Filosofiska Studier, Uppsala, 1971.

    Google Scholar 

Download references