by Matthias Baaz, Anela Lolic
Reference:
First-Order Interpolation of Non-classical Logics Derived from Propositional InterpolationMatthias Baaz, Anela LolicFrontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings (Clare Dixon, Marcelo Finger, eds.), volume 10483 of Lecture Notes in Computer Science, pages 265–280, 2017, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/frocos/BaazL17,
author = {Matthias Baaz and
Anela Lolic},
editor = {Clare Dixon and
Marcelo Finger},
title = {First-Order Interpolation of Non-classical Logics Derived from Propositional
Interpolation},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {265--280},
publisher = {Springer},
year = {2017},
doi = {10.1007/978-3-319-66167-4_15}
}