Abstract
We prove decidability for all of the main graded normal logics, by a notion of filtration suitably conceived for this environment.
Similar content being viewed by others
References
C. Bernardini,Degree thesis, Roma, 1986.
C. Cerrato,Graded Modalities IV Studia Logica 49 (1990), pp. 241–252.
B. F. Chellas,Modal Logic; An Introduction, Cambridge Univ. Press, 1980.
W. Craig,On axiomatizability within a system J. Symbolic Logic 18 (1953), pp. 30–32.
F. De Caro,Graded Modalities II Studia Logica 47 (1988), pp. 1–10.
M. Fattorosi-Barnaba, andC. Cerrato,Graded Modalities III Studia Logica 47 (1988), pp. 99–110.
M. Fattorosi-Barnaba, andF. De Caro,Graded Modalities I Studia Logica 44 (1985), pp. 197–221.
K. Fine,In so many possible worlds Notre Dame Journal Formal Logic 13 (1972), pp. 516–520.
W. van der Hoek,Communication to M. Fattorosi - Barnaba and to F. De Caro, Groningen, 1986.
W. van der Hoek,Modalities for Reasoning about Knowledge and Quantities. Doctorate thesis, Amsterdam, 1992.
W. van der Hoek,On the Semantics of Graded Modalities, J. Applied Non-Classical Logics 2 (1992).
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.
K. Segerberg,Decidability of S4.1 Theoria 34 (1968), pp. 7–20.
K. Segerberg,Decidability of four modal logics Theoria 34 (1968), pp. 21–25.
A. Urquhart,Decidability and Finite Model Property J. Philosophical Logic 10 (1981), pp. 367–370.
Author information
Authors and Affiliations
Rights 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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053022