Graded modalities. III (the completeness and compactness of s40)

&
Studia Logica 47 (2):99 - 110 (1988)
  Copy   BIBTEX

Abstract

We go on along the trend of [2] and [1], giving an axiomatization of S4 0 and proving its completeness and compactness with respect to the usual reflexive and transitive Kripke models. To reach this results, we use techniques from [1], with suitable adaptations to our specific case.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370285

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.
Graded modalities, II (canonical models).Francesco Caro - 1988 - Studia Logica 47 (1):1 - 10.
Decidability by filtrations for graded normal logics (graded modalities V).Claudio Cerrato - 1994 - Studia Logica 53 (1):61 - 73.
Normal predicative logics with graded modalities.Francesco Caro - 1988 - Studia Logica 47 (1):11 - 22.
A tableau method for graded intersections of modalities: A case for concept languages. [REVIEW]Ani Nenkova - 2002 - Journal of Logic, Language and Information 11 (1):67-77.
The mathematics of logic: a guide to completeness theorems and their applications.Richard Kaye - 2007 - New York: Cambridge University Press.
Measurability and degrees of strong compactness.Arthur W. Apter - 1981 - Journal of Symbolic Logic 46 (2):249-254.
Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.
Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
General canonical models for graded normal logics (graded modalities IV).C. Cerrato - 1990 - Studia Logica 49 (2):241 - 252.

Analytics

Added to PP
2009-01-28

Downloads
33 (#472,429)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generalized quantifiers and modal logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Generalized quantifiers and modal logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
A study of modal logic with semantics based on rough set theory.Md Aquil Khan, Ranjan & Amal Talukdar - forthcoming - Journal of Applied Non-Classical Logics:1-25.

Add more citations

References found in this work

Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.

Add more references