On detachment-substitutional formalization in normal modal logics

DOI10.1007/BF02121261zbMATH Open0363.02017OpenAlexW1983264880MaRDI QIDQ1240211FDOQ1240211

W. Dziobiak

Publication date: 1977

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02121261

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• An ascending chain of S4 logics
• Title not available (Why is that?)
• The axiomatization of S. Jaskowski's discussive system
• Some results on finite axiomatizability in modal logic

This page was built for publication: On detachment-substitutional formalization in normal modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1240211)