Name: On detachment-substitutional formalization in normal modal logics
Creator: Wiesław Dziobiak
Keywords: 06 humanities and the arts, 0101 mathematics, 0603 philosophy, ethics and religion, Modal logic (including the logic of norms), 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Sep 1977 English Publisher:Springer Science and Business Media LLCJournal:Studia Logica, volume 36, pages 165-171 (issn: 0039-3215, eissn: 1572-8730,

Authors: Wiesław Dziobiak;

doi: 10.1007/bf02121261

On detachment-substitutional formalization in normal modal logics

- Summary
- Subjects
- Metrics

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 Godel rules.

Keywords

Modal logic (including the logic of norms)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average