Author:Matthias Baaz

Publications
LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors) EPiC Series in Computing, volume 13
On Translations of Epsilon Proofs to LK Matthias Baaz and Anela Lolic In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic Matthias Baaz and Anela Lolic In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gödel logics and the fully boxed fragment of LTL Matthias Baaz and Norbert Preining In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Gödel logics with an operator shifting truth values Matthias Baaz and Oliver Fasching In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.