DOI10.29007/bdbmzbMath1402.03025MaRDI 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 logic; monadic fragment; FO-LTL
Mathematics Subject Classification ID
03B70: Logic in computer science
03B50: Many-valued logic
03B44: Temporal logic