Graded Modalities. III

&
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⁰ 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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

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. III (the completeness and compactness of s40).M. Fattorosi-Barnaba & C. Cerrato - 1988 - Studia Logica 47 (2):99 - 110.
Graded modalities. I.M. Fattorosi-Barnaba & F. Caro - 1985 - Studia Logica 44 (2):197 - 221.
Normal predicative logics with graded modalities.Francesco De Caro - 1988 - Studia Logica 47:11.
Normal predicative logics with graded modalities.Francesco Caro - 1988 - Studia Logica 47 (1):11 - 22.
Graded Modalities. I.M. Fattorosi-Barnaba & F. De Caro - 1985 - Studia Logica 44 (2):197-221.
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability.Frederik Van De Putte & Dominik Klein - 2020 - Studia Logica 109 (1):47-93.
A Family of Kripke Contingency Logics.Jie Fan - 2020 - Theoria 86 (4):482-499.
Advances in Modal Logic, Volume.F. Wolter, H. Wansing, M. de Rijke & M. Zakharyaschev - unknown
Applications of weak Kripke semantics to intermediate consequences.Wolfgang Rautenberg - 1986 - Studia Logica 45 (1):119 - 134.
Graded modalities, II (canonical models).Francesco Caro - 1988 - Studia Logica 47 (1):1 - 10.

Analytics

Added to PP
2017-02-21

Downloads
10 (#1,479,591)

6 months
6 (#891,985)

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.
A study of modal logic with semantics based on rough set theory.Md Aquil Khan, Ranjan & Amal Talukdar - 2024 - Journal of Applied Non-Classical Logics 34 (2):223-247.

Add more citations

References found in this work

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.
Graded Modalities. I.M. Fattorosi-Barnaba & F. De Caro - 1985 - Studia Logica 44 (2):197-221.
Graded modalities, II.Francesco De Caro - 1988 - Studia Logica 47:1.

Add more references