Skip to main content
SpringerLink
Log in

A Unified Semantics for a Family of Modal Logics with Propositional Constants

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.

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

Access this article

Log in via an institution

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. Anderson A.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)

    Article  Google Scholar 

  2. Areces C., ten Cate B.: Hybrid logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic., pp. 821–868. Elsevier, Amsterdam (2007)

    Chapter  Google Scholar 

  3. Blackburn P.: Nominal tense logic. Notre Dame J. Form. Log. 34, 56–83 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  4. Carnielli W., Pizzi C.: Modalities and Multimodalities. Springer, Heidelberg (2008)

    Book  MATH  Google Scholar 

  5. Fine K.: Propositional quantifiers in modal logic. Theoria 36, 336–346 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  6. French R.: Denumerably many post-complete normal modal logics with propositional constants. Notre Dame J. Form. Log. 53, 549–556 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. French R., Humberstone L.: An observation concerning Porte’s rule in modal logic. Bull. Sect. Log. 44, 25–31 (2015)

    MathSciNet  MATH  Google Scholar 

  8. Gabbay D.: An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. In: Mönnich, U. (ed.) Aspects of Philosophical Logic., pp. 67–89. Reidel, Dordrecht (1981)

    Chapter  Google Scholar 

  9. Goldblatt R., Kowalski T.: The power of a propositional constant. J. Philos. Log. 43, 133–152 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  10. Goranko V., Otto M.: Model theory of modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic., pp. 249–329. Elsevier, Amsterdam (2007)

    Chapter  Google Scholar 

  11. Hughes G., Cresswell M.: A New Introduction to Modal Logic. Routledge, London (1996)

    Book  MATH  Google Scholar 

  12. Humberstone L.: Two-dimensional adventures. Philos. Stud. 118, 17–65 (2004)

    Article  MathSciNet  Google Scholar 

  13. Lewis D.: Intensional logics without iterative axioms. J. Philos. Log. 3, 456–466 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  14. Meredith C., Prior A.: Modal logic with functorial variables and a contingent constant. Notre Dame J. Form. Log. 6, 99–109 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  15. Pizzi C.: Necessity and relative contingency. Stud. Log. 85, 395–410 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Prior A.: Now. Noûs 2, 101–119 (1968)

    Article  Google Scholar 

  17. Prior A.: Papers on Time and Tense. Oxford University Press, Oxford (1968)

    Google Scholar 

  18. Rescher N., Urquhart A.: Temporal Logic. Springer, Wien (1971)

    Book  MATH  Google Scholar 

  19. Segerberg, K.: An Essay in Classical Modal Logic. Filosofiska Studier, vol. 13, Uppsala (1971)

  20. Smiley T.: Relative necessity. J. Symb. Log. 28, 113–134 (1963)

    Article  MathSciNet  MATH  Google Scholar 

  21. Thomason S.: Semantic analysis of tense logics. J. Symb. Log. 37, 150–158 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  22. van Benthem, J.: Correspondence theory. In: Gabbay, D., Guenthner, F. (eds.), Handbook of Philosophical Logic, vol. III, 2nd edn, pp. 325–408. Kluwer, Dordrecht (2001)

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Verona, Strada le Grazie 15, 37134, Verona, Italy

    Matteo Pascucci

Authors
  1. Matteo Pascucci
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matteo Pascucci.

Additional information

The author would like to thank Claudio Pizzi, Marco Volpe and Alberto Zanardo for their comments on a previous draft and Andrea Masini for discussion on the topic.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Pascucci, M. A Unified Semantics for a Family of Modal Logics with Propositional Constants. Log. Univers. 10, 45–66 (2016). https://doi.org/10.1007/s11787-015-0137-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-015-0137-5

Mathematics Subject Classification

Keywords

Search

Navigation