Another proof for the decidability of four modal logics

Philosophia 9 (2):251-264 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02379121

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,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

Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Technical report tr-Arp-11-94.Greg Restall - unknown
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.

Analytics

Added to PP
2009-01-28

Downloads
46 (#330,292)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Existential definability of modal frame classes.Tin Perkov & Luka Mikec - 2020 - Mathematical Logic Quarterly 66 (3):316-325.

Add more citations

References found in this work

Semantics for deontic logic.William H. Hanson - 1965 - Logique Et Analyse 8:177-190.

Add more references