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

Other Versions

No versions found

Links

PhilArchive



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

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, II (canonical models).Francesco Caro - 1988 - Studia Logica 47 (1):1 - 10.
Graded modalities, II.Francesco De Caro - 1988 - Studia Logica 47:1.
Decidability by filtrations for graded normal logics (graded modalities V).Claudio Cerrato - 1994 - Studia Logica 53 (1):61 - 73.
Dynamic graded epistemic logic.Minghui Ma & Hans van Ditmarsch - 2019 - Review of Symbolic Logic 12 (4):663-684.
Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability.Frederik Van De Putte & Dominik Klein - 2020 - Studia Logica 109 (1):47-93.
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.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
A Note on the Issue of Cohesiveness in Canonical Models.Matteo Pascucci - 2020 - Journal of Logic, Language and Information 29 (3):331-348.
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.
A Dichotomy for Some Elementarily Generated Modal Logics.Stanislav Kikot - 2015 - Studia Logica 103 (5):1063-1093.

Analytics

Added to PP
2009-01-28

Downloads
76 (#277,792)

6 months
6 (#888,477)

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.
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