Definable classes of many valued Kripke frames

Bulletin of the Section of Logic 35 (1):27-36 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Neighbourhood Semantics for Graded Modal Logic.Jinsheng Chen, Hans Van Ditmarsch, Giuseppe Greco & Apostolos Tzimoulis - 2021 - Bulletin of the Section of Logic 50 (3):373-395.
Characterizations of negative definability in modal logic.Marco Hollenberg - 1998 - Studia Logica 60 (3):357-386.
General approach to many valued Kripke models.Szymon Frankowski - 2006 - Bulletin of the Section of Logic 35 (1):11-26.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Corrigendum to "Kripke-style semantics for many-valued logics".Franco Montagna & Lorenzo Sacchetti - 2004 - Mathematical Logic Quarterly 50 (1):104.
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames.Zofia Kostrzycka - 2015 - Bulletin of the Section of Logic 44 (3/4):111-130.
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic.Miguel Couceiro, Lauri Hella & Jari Kivelä - 2008 - Logic Journal of the IGPL 16 (1):43-73.
Some Logics in the Vicinity of Interpretability Logics.Sergio A. Celani - 2024 - Bulletin of the Section of Logic 53 (2):173-193.
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics.Georges Hansoul & Bruno Teheux - 2013 - Studia Logica 101 (3):505-545.
Erdős graphs resolve fine's canonicity problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.

Analytics

Added to PP
2013-12-31

Downloads
16 (#905,208)

6 months
2 (#1,446,987)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
General approach to many valued Kripke models.Szymon Frankowski - 2006 - Bulletin of the Section of Logic 35 (1):11-26.

Add more references