General canonical models for graded normal logics (graded modalities IV)

Studia Logica 49 (2):241 - 252 (1990)
  Copy   BIBTEX

Abstract

We prove the canonical models introduced in [D] do not exist for some graded normal logics with symmetric models, namelyKB°, KBD°, KBT°, so that we define a new kind of canonical models, the general ones, and show they exist and work well in every case.

Categories

Keywords

Reprint years

DOI

10.1007/bf00935601

Links

PhilArchive



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

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

Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
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.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Kripke frame with graded accessibility and fuzzy possible world semantics.Nobu-Yuki Suzuki - 1997 - Studia Logica 59 (2):249-269.
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.Tatsuya Shimura - 1993 - Studia Logica 52 (1):23 - 40.
Graded modalities. III (the completeness and compactness of s40).M. Fattorosi-Barnaba & C. Cerrato - 1988 - Studia Logica 47 (2):99 - 110.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Every finitely reducible logic has the finite model property with respect to the class of ♦-formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
Graded modalities, II (canonical models).Francesco Caro - 1988 - Studia Logica 47 (1):1 - 10.

Analytics

Added to PP
2009-01-28

Downloads
70 (#228,790)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on graded modal logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
A Note on Graded Modal Logic.Maarten De Rijke - 2000 - Studia Logica 64 (2):271 - 283.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.

View all 12 citations / 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.

View all 7 references / Add more references