On detachment-substitutional formalization in normal modal logics
From MaRDI portal
Publication:1240211
DOI10.1007/BF02121261zbMath0363.02017OpenAlexW1983264880MaRDI QIDQ1240211
Publication date: 1977
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02121261
Cites Work
This page was built for publication: On detachment-substitutional formalization in normal modal logics