Authors
Melvin Fitting
CUNY Graduate Center
Abstract
Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and completeness are established.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Many-Valued Logics.J. B. Rosser & A. R. Turquette - 1954 - British Journal for the Philosophy of Science 5 (17):80-83.
Many-Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):343-354.
Possible Worlds and Many Truth Values.S. K. Thomason - 1978 - Studia Logica 37 (2):195 - 204.

View all 7 references / Add more references

Citations of this work BETA

Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
On Ignorance and Contradiction Considered as Truth-Values.Didier Dubois - 2008 - Logic Journal of the IGPL 16 (2):195-216.

View all 38 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-06-23

Total views
75 ( #157,168 of 2,533,572 )

Recent downloads (6 months)
2 ( #261,212 of 2,533,572 )

How can I increase my downloads?

Downloads

My notes