On detachment-substitutional formalization in normal modal logics

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


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.



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

32 (#502,492)

6 months
5 (#648,432)

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