Many-valued modal logics

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.

Categories

Keywords

Reprint years

Other Versions

original Fitting, Melvin (manuscript) "Many-valued modal logics II".

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Many-valued modal logics: A simple approach: Many-valued modal logics: A simple approach.Graham Priest - 2008 - Review of Symbolic Logic 1 (2):190-203.
Many-valued modal logics II.Melvin Fitting - unknown
Subformula property in many-valued modal logics.Mitio Takano - 1994 - Journal of Symbolic Logic 59 (4):1263-1273.
Canonicity and Completeness Results for Many-Valued Modal Logics.Costas D. Koutras, Christos Nomikos & Pavlos Peppas - 2002 - Journal of Applied Non-Classical Logics 12 (1):7-42.
Canonicity and Completeness Results for Many-Valued Modal Logics.Costas D. Koutras, Christos Nomikos & Pavlos Peppas - 2002 - Journal of Applied Non-Classical Logics 12 (1):7-41.
Many‐valued modal logics: Uses and predicate calculus.Pascal Ostermann - 1990 - Mathematical Logic Quarterly 36 (4):367-376.
Local and global operators and many-valued modal logics.Charles G. Morgan - 1979 - Notre Dame Journal of Formal Logic 20 (2):401-411.
A Hennessy-Milner Property for Many-Valued Modal Logics.Michel Marti & George Metcalfe - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 407-420.
Autoreferential semantics for many-valued modal logics.Zoran Majkic - 2008 - Journal of Applied Non-Classical Logics 18 (1):79-125.

Analytics

Added to PP
2009-06-23

Downloads
102 (#207,407)

6 months
1 (#1,886,949)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
A Logical Modeling of Severe Ignorance.Stefano Bonzio, Vincenzo Fano & Pierluigi Graziani - 2023 - Journal of Philosophical Logic 52 (4):1053-1080.
On Ignorance and Contradiction Considered as Truth-Values.Didier Dubois - 2008 - Logic Journal of the IGPL 16 (2):195-216.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.

View all 43 citations / Add more citations

References found in this work

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 Logics.Leonard Goddard - 1954 - Philosophical Quarterly 4 (15):188-189.
Many-Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (4):343-354.

View all 7 references / Add more references