Local and global operators and many-valued modal logics

Notre Dame Journal of Formal Logic 20 (2):401-411 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882548

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Many-valued modal logics.Melvin C. Fitting - unknown
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Arrow logic and infinite counting.Ágnes Kurucz - 2000 - Studia Logica 65 (2):199-222.
Every finitely reducible logic has the finite model property with respect to the class of ♦-formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.
Independent propositional modal logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.
Many-valued modal logics II.Melvin Fitting - unknown
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.
Formal systems for modal operators on locales.Gonzalo E. Reyes & Marek W. Zawadowski - 1993 - Studia Logica 52 (4):595 - 613.

Analytics

Added to PP
2010-08-24

Downloads
28 (#573,535)

6 months
5 (#648,401)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Possible worlds and many truth values.S. K. Thomason - 1978 - Studia Logica 37 (2):195 - 204.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references