Interpolation in loop-free logic
- 1 January 1980
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 39 (2-3) , 297-310
- https://doi.org/10.1007/bf00370326
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Computability and completeness in logics of programs (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1977
- Normal modal model theoryJournal of Philosophical Logic, 1975