Many‐valued modal logics: Uses and predicate calculus

Mathematical Logic Quarterly 36 (4):367-376 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360411

Other Versions

reprint Ostermann, Pascal (1990) "Many-valued modal logics: Uses and predicate calculus". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36(4):367-376

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Sheffer functions for many‐valued S5 modal logics.Gerald J. Massey - 1969 - Mathematical Logic Quarterly 15 (7‐12):101-104.
On contraction and the modal fragment.Kai Brünnler, Dieter Probst & Thomas Studer - 2008 - Mathematical Logic Quarterly 54 (4):345-349.
A partial predicate calculus in a two-valued logic.Albert Hoogewijs - 1983 - Mathematical Logic Quarterly 29 (4):239-243.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Lógicas multivalentes. Uma introdução matemática e computacional.Luis M. Augusto - 2016 - Dissertation, Universidade Aberta
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.
Corrigendum to "Kripke-style semantics for many-valued logics".Franco Montagna & Lorenzo Sacchetti - 2004 - Mathematical Logic Quarterly 50 (1):104.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.

Analytics

Added to PP
2013-12-01

Downloads
11 (#1,423,075)

6 months
4 (#1,258,347)

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.

Add more citations

References found in this work

An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
Many-valued logics.J. Barkley Rosser - 1977 - Westport, Conn.: Greenwood Press. Edited by Atwell R. Turquette.

Add more references