Skip to main content
Log in

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

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

The addition of “actually” operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing “actually” operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing “actually” operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  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

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gregory, D. Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30, 57–78 (2001). https://doi.org/10.1023/A:1017579410231

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1017579410231

Navigation