Skip to main content
SpringerLink
Log in

Decidability by filtrations for graded normal logics (graded modalities V)

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We prove decidability for all of the main graded normal logics, by a notion of filtration suitably conceived for this environment.

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. C. Bernardini,Degree thesis, Roma, 1986.

  2. C. Cerrato,Graded Modalities IV Studia Logica 49 (1990), pp. 241–252.

    Google Scholar 

  3. B. F. Chellas,Modal Logic; An Introduction, Cambridge Univ. Press, 1980.

  4. W. Craig,On axiomatizability within a system J. Symbolic Logic 18 (1953), pp. 30–32.

    Google Scholar 

  5. F. De Caro,Graded Modalities II Studia Logica 47 (1988), pp. 1–10.

    Google Scholar 

  6. M. Fattorosi-Barnaba, andC. Cerrato,Graded Modalities III Studia Logica 47 (1988), pp. 99–110.

    Google Scholar 

  7. M. Fattorosi-Barnaba, andF. De Caro,Graded Modalities I Studia Logica 44 (1985), pp. 197–221.

    Google Scholar 

  8. K. Fine,In so many possible worlds Notre Dame Journal Formal Logic 13 (1972), pp. 516–520.

    Google Scholar 

  9. W. van der Hoek,Communication to M. Fattorosi - Barnaba and to F. De Caro, Groningen, 1986.

  10. W. van der Hoek,Modalities for Reasoning about Knowledge and Quantities. Doctorate thesis, Amsterdam, 1992.

    Google Scholar 

  11. W. van der Hoek,On the Semantics of Graded Modalities, J. Applied Non-Classical Logics 2 (1992).

  12. E. J. Lemmon (in collaboration withDana S. Scott),The Lemmon notes: an introduction to modal logic (edited by K. Segerberg) American philosophical quarterly Monograph Series (edited by N. Rescher), 11, Oxford: Basil Blackwell, 1977.

    Google Scholar 

  13. K. Segerberg,Decidability of S4.1 Theoria 34 (1968), pp. 7–20.

    Google Scholar 

  14. K. Segerberg,Decidability of four modal logics Theoria 34 (1968), pp. 21–25.

    Google Scholar 

  15. A. Urquhart,Decidability and Finite Model Property J. Philosophical Logic 10 (1981), pp. 367–370.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Via di Bravetta 340, I - 00164, Roma, Italy

    Claudio Cerrato

Authors
  1. Claudio Cerrato
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cerrato, C. Decidability by filtrations for graded normal logics (graded modalities V). Stud Logica 53, 61–73 (1994). https://doi.org/10.1007/BF01053022

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01053022

Keywords

Search

Navigation