HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Matthias Baaz

Publications
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
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
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.

Keyphrases

Gödel logic2, Gödel logics, Herbrand expansions, interpolation, LTL, Lyndon interpolation, monadic fragment, non-recursiveness, ring operator, Skolemization, Łukasiewicz logic.

Copyright © 2012-2023 easychair.org. All rights reserved.