A matrix decision procedure for three modal logics

Notre Dame Journal of Formal Logic 20 (3):599-602 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882665

Other Versions

No versions found

Links

PhilArchive



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

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

Some modal logics based on a three-valued logic.Osamu Morikawa - 1988 - Notre Dame Journal of Formal Logic 30 (1):130-137.
Modal interpretations of three-valued logics. I.Michael J. Duffy - 1979 - Notre Dame Journal of Formal Logic 20 (3):647-657.
Modal interpretations of three-valued logics. II.Michael J. Duffy - 1979 - Notre Dame Journal of Formal Logic 20 (3):658-673.
Modal trees: correction to a decision procedure for ${\rm S5}$ (and ${\rm T}$).A. Burrieza & Juan C. León - 1987 - Notre Dame Journal of Formal Logic 28 (3):385-391.
Cut-free systems for three-valued modal logics.Mitio Takano - 1992 - Notre Dame Journal of Formal Logic 33 (3):359-368.
Cut-free modal sequents for normal modal logics.Claudio Cerrato - 1993 - Notre Dame Journal of Formal Logic 34 (4):564-582.
Modal elaborations of propositional logics.Nicholas Rescher & Ruth Manor - 1972 - Notre Dame Journal of Formal Logic 13 (3):323-330.
On some models of modal logics.R. J. Baxter - 1973 - Notre Dame Journal of Formal Logic 14 (1):121-122.
On some modal logics related to the Ł -modal system.Robert L. Wilson - 1976 - Notre Dame Journal of Formal Logic 17 (2):191-206.
The modal predicate logics PF*F.Robert L. Wilson - 1977 - Notre Dame Journal of Formal Logic 18:208.

Analytics

Added to PP
2010-08-24

Downloads
32 (#705,389)

6 months
11 (#343,210)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references