The Power of the Weak

DOI10.1145/3372392zbMath1446.68089arXiv1809.03896OpenAlexW2999779760WikidataQ126384847 ScholiaQ126384847MaRDI QIDQ5121266

Facundo Carreiro, Alessandro Facchini, Fabio Zanasi, Yde Venema

Publication date: 11 September 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.03896

zbMATH Keywords

bisimulationtree automatamodal \(\mu\)-calculusweak monadic second-order logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Higher-order logic (03B16)

Related Items (2)

A focus system for the alternation-free \(\mu \)-calculus ⋮ Model theory of monadic predicate logic with the infinity quantifier

This page was built for publication: The Power of the Weak