scientific article; zbMATH DE number 6146464
From MaRDI portal
Publication:4910728
DOI10.4230/LIPIcs.STACS.2008.1352zbMath1259.68124MaRDI QIDQ4910728
Diana Fischer, Erich Grädel, Łukasz Kaiser
Publication date: 19 March 2013
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_29be.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Weighted automata and weighted MSO logics for average and long-time behaviors ⋮ On weighted first-order logics with discounting ⋮ Facets of Synthesis: Revisiting Church’s Problem ⋮ Weighted versus Probabilistic Logics ⋮ A Weighted μ-Calculus on Words
This page was built for publication:
