General approach to many valued Kripke models

Bulletin of the Section of Logic 35 (1):11-26 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Definable classes of many valued Kripke frames.Szymon Frankowski - 2006 - Bulletin of the Section of Logic 35 (1):27-36.
Generalized Kripke models.Bernd Dahn - 1974 - Bulletin of the Section of Logic 3 (1):3-7.
A Characteristic Model For Some Tabular Many-valued Logics.Marion Mircheva - 1986 - Bulletin of the Section of Logic 15 (4):159-161.
A note on generalized Kripke-models.Bernd Dahn - 1974 - Bulletin of the Section of Logic 3 (1):8-10.
A note on bisimulations of finite Kripke models.Ma Lgorzata Kruszelnicka - 2012 - Bulletin of the Section of Logic 41 (3/4):185-198.
Models of three-valued calculi in implicational s5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
Relations between paraconsistent logic and many-valued logic.Newton Ca da Costa & Elias H. Alves - 1981 - Bulletin of the Section of Logic 10 (4):185-191.
Many-valued referential matrices.Grzegorz Malinowski - 1995 - Bulletin of the Section of Logic 24 (3):140-146.
Are theree many-valued Scotan logics?David Meredith - 1978 - Bulletin of the Section of Logic 7 (1):2-3.
Some results concerning many-valued Lukasiewicz calculi.Ryszard Wojcicki - 1972 - Bulletin of the Section of Logic 1 (3):49-51.

Analytics

Added to PP
2013-12-31

Downloads
27 (#822,464)

6 months
6 (#851,951)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bisimulations and p-morphisms.Szymon Frankowski - 2009 - Bulletin of the Section of Logic 38 (3/4):229-235.
Definable classes of many valued Kripke frames.Szymon Frankowski - 2006 - Bulletin of the Section of Logic 35 (1):27-36.

Add more citations

References found in this work

Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Many‐Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Mathematical Logic Quarterly 34 (4):343-354.
Local and global operators and many-valued modal logics.Charles G. Morgan - 1979 - Notre Dame Journal of Formal Logic 20 (2):401-411.

Add more references