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.
Similar content being viewed by others
References
J. J. Blaszezuk andW. Dziobiak,Modal logics connected with systems S4 n of Sobociński, this volume.
W. Dziobiak,Clasically axiomatizable modal propositional caleuli containing the system T of Feys — con Wright,Bulletin of the Section of Logic, Polish Academy of Sciences, Institute of Philosophy and Sociology, Vol. 3, No. 1, (1976), pp. 20–24.
K. Fine,An ascending chain of S4 logics,Theoria, Vol. 42 (1975). pp. 110–116.
J. Kotas,The axiomatization of S. Jaśkowski's discussive system,Studia Logica, XXXIII, No. 2 (1974), pp. 195–200.
E. J. Lemmon,Some results of finite axiomatizability in modal logic,Notre Dame Journal of Formal Logic, Vol. VI (1965), pp. 301–308.
J. Perzanowski,The deduction theorems for the modal propositional calculi formalized after the manner of Lemmon. Part I.Reports on Mathematical Logic, Vol. 1 (1973), pp. 1–12.
J. Perzanowski andA. Wroński,The deduction theorems for the system T of Feys — von Wright,Universitas Iagellonica Acta Scientiarum Litterarumque, CCLXV,Schedae Logicae, fase. VI (1971), pp. 11–14.
A. Tarski,Logie, semantics, metamathematics, O. U. P., 1956.
Author information
Authors and Affiliations
Additional information
Some results of this paper were announced in the abstract [2].
Allatum est die 10 Junii 1976
Rights and permissions
About this article
Cite this article
Dziobiak, W. On detachment-substitutional formalization in normal modal logics. Stud Logica 36, 165–171 (1977). https://doi.org/10.1007/BF02121261
Issue Date:
DOI: https://doi.org/10.1007/BF02121261