On detachment-substitutional formalization in normal modal logics

Studia Logica 36 (3):165 - 171 (1977)
  Copy   BIBTEX

Abstract

The aim of this paper is to propose a criterion of finite detachment-substitutional formalization for normal modal systems. The criterion will comprise only those normal modal systems which are finitely axiomatizable by means of the substitution, detachment for material implication and Gödel rules.

Categories

Keywords

Reprint years

DOI

10.1007/bf02121261

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

Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Normal monomodal logics can simulate all others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
On the non-availability of Dawson-modeling into certain relevance alethic modal logics.John Chidgey - 1979 - Studia Logica 38 (2):89 - 94.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Independent propositional modal logics.S. K. Thomason - 1980 - Studia Logica 39 (2-3):143 - 144.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.

Analytics

Added to PP
2009-01-28

Downloads
28 (#538,947)

6 months
1 (#1,459,555)

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

Some results on finite axiomatizability in modal logic.E. J. Lemmon - 1965 - Notre Dame Journal of Formal Logic 6 (4):301-308.
The axiomatizations of S.Jaskowski's discussive system.Jerzy Kotas - 1973 - Bulletin of the Section of Logic 2 (1):12-17.
Semantics Of Kripke's Style For Some Modal Systems.Wieslaw Dziobiak - 1976 - Bulletin of the Section of Logic 5 (2):63-66.

Add more references