Advertisement

Studia Logica

, Volume 53, Issue 1, pp 61–73 | Cite as

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

  • Claudio Cerrato
Article

Abstract

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

Keywords

Mathematical Logic Modality Versus Computational Linguistic Normal Logic Grade Modality Versus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    C. Bernardini,Degree thesis, Roma, 1986.Google Scholar
  2. [2]
    C. Cerrato,Graded Modalities IV Studia Logica 49 (1990), pp. 241–252.Google Scholar
  3. [3]
    B. F. Chellas,Modal Logic; An Introduction, Cambridge Univ. Press, 1980.Google Scholar
  4. [4]
    W. Craig,On axiomatizability within a system J. Symbolic Logic 18 (1953), pp. 30–32.Google Scholar
  5. [5]
    F. De Caro,Graded Modalities II Studia Logica 47 (1988), pp. 1–10.Google Scholar
  6. [6]
    M. Fattorosi-Barnaba, andC. Cerrato,Graded Modalities III Studia Logica 47 (1988), pp. 99–110.Google Scholar
  7. [7]
    M. Fattorosi-Barnaba, andF. De Caro,Graded Modalities I Studia Logica 44 (1985), pp. 197–221.Google Scholar
  8. [8]
    K. Fine,In so many possible worlds Notre Dame Journal Formal Logic 13 (1972), pp. 516–520.Google Scholar
  9. [9]
    W. van der Hoek,Communication to M. Fattorosi - Barnaba and to F. De Caro, Groningen, 1986.Google Scholar
  10. [10]
    W. van der Hoek,Modalities for Reasoning about Knowledge and Quantities. Doctorate thesis, Amsterdam, 1992.Google Scholar
  11. [11]
    W. van der Hoek,On the Semantics of Graded Modalities, J. Applied Non-Classical Logics 2 (1992).Google Scholar
  12. [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. [13]
    K. Segerberg,Decidability of S4.1 Theoria 34 (1968), pp. 7–20.Google Scholar
  14. [14]
    K. Segerberg,Decidability of four modal logics Theoria 34 (1968), pp. 21–25.Google Scholar
  15. [15]
    A. Urquhart,Decidability and Finite Model Property J. Philosophical Logic 10 (1981), pp. 367–370.Google Scholar

Copyright information

© Kluwer Academic Publishers 1994

Authors and Affiliations

  • Claudio Cerrato
    • 1
  1. 1.RomaItaly

Personalised recommendations