Cut-free systems for three-valued modal logics

Notre Dame Journal of Formal Logic 33 (3):359-368 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093634401

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

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

Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Cut-free tableau calculi for some propositional normal modal logics.Martin Amerbauer - 1996 - Studia Logica 57 (2-3):359 - 372.
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.
Many-valued modal logics.Melvin C. Fitting - unknown
Subformula property in many-valued modal logics.Mitio Takano - 1994 - Journal of Symbolic Logic 59 (4):1263-1273.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.
Cut-free modal sequents for normal modal logics.Claudio Cerrato - 1993 - Notre Dame Journal of Formal Logic 34 (4):564-582.
Complete infinitary type logics.J. W. Degen - 1999 - Studia Logica 63 (1):85-119.

Analytics

Added to PP
2010-08-24

Downloads
16 (#830,801)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Subformula property in many-valued modal logics.Mitio Takano - 1994 - Journal of Symbolic Logic 59 (4):1263-1273.

Add more citations

References found in this work

No references found.

Add more references