scientific article; zbMATH DE number 7362723

zbMath1464.68201MaRDI QIDQ4995359

Martín G. Zimmermann, Peter Faymonville

Publication date: 24 June 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2014.8

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Delay Games with WMSO$$+$$U Winning Conditions, Robust, expressive, and quantitative linear temporal logics: pick any two for free, Weighted Linear Dynamic Logic, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Parametric linear dynamic logic