A matrix adequate for s5 with mp and rn

Bulletin of the Section of Logic 9 (3):122-123 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

An integer-valued matrix characteristic for implicational S5'.D. Ulrich - 1990 - Bulletin of the Section of Logic 19:87-91.
Non-existence of a countable strongly adequate matrix semantics for neighbours of E.Wies law Dziobiak - 1981 - Bulletin of the Section of Logic 10 (4):170-174.
The necessity of modal logic s5 is metalogical.Zdzis law Dywan - 1981 - Bulletin of the Section of Logic 10 (4):162-167.
Extensions of modal logic S5 preserving NP-completeness.Stéphane Demri - 1997 - Bulletin of the Section of Logic 26 (2):73-84.
Wajsberg's semantics for the system S5 of Lewis.Stanislaw Zachorowski - 1973 - Bulletin of the Section of Logic 2 (2):112-117.
Cut-free sequent calculus for S5.Andrzej Indrzejczak - 1996 - Bulletin of the Section of Logic 25 (2):95-102.
The proof of L-decidability of Lewis' system S5.Jerzy Slupecki & Grzegorz Bryll - 1972 - Bulletin of the Section of Logic 1 (1):32-34.
Models of three-valued calculi in implicational s5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
On axiomatic products of PDL and S5: Substitution, tests and knowledge.Renate A. Schmidt & Dmitry Tishkovsky - 2002 - Bulletin of the Section of Logic 31 (1):27-36.
Matrix Lukasiewicz Algebras.Wojciech Suchon - 1974 - Bulletin of the Section of Logic 3 (3/4):9-14.

Analytics

Added to PP
2014-02-19

Downloads
23 (#670,031)

6 months
1 (#1,720,529)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Algebraization of Jaśkowski’s Paraconsistent Logic D2.Janusz Ciuciura - 2015 - Studies in Logic, Grammar and Rhetoric 42 (1):173-193.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Identity connective and modality.Roman Suszko - 1971 - Studia Logica 27 (1):7-39.
An Algebraic Approach to Non-Classical Logics.Anne Preller - 1977 - Journal of Symbolic Logic 42 (3):432-432.

Add more references