Gödel logics and the fully boxed fragment of LTL

DOI10.29007/bdbmzbMath1402.03025OpenAlexW2740409217MaRDI QIDQ4645749

Matthias Baaz, Norbert Preining

Publication date: 10 January 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/bdbm

zbMATH Keywords

Gödel logicmonadic fragmentFO-LTL

Mathematics Subject Classification ID

Logic in computer science (03B70) Many-valued logic (03B50) Temporal logic (03B44)

This page was built for publication: Gödel logics and the fully boxed fragment of LTL