Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs

DOI10.1007/978-3-642-22993-0_28zbMath1343.03017OpenAlexW1606933801MaRDI QIDQ3088048

Alessandro Facchini, Balder ten Cate

Publication date: 17 August 2011

Published in: Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22993-0_28

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

This page was built for publication: Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs