First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation

Baaz, Matthias; Lolic, Anela

doi:10.1007/978-3-319-66167-4_15

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}
}