Publication:4910728
From MaRDI portal
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
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
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