Publication:4251069
From MaRDI portal
zbMath0924.03029MaRDI QIDQ4251069
Publication date: 17 June 1999
modal logic; decidability; tree automata; modal \(\mu\)-calculus; exponential time decision procedure; monadic second-order theory of the complete binary tree
03B45: Modal logic (including the logic of norms)
03D05: Automata and formal grammars in connection with logical questions
03B25: Decidability of theories and sets of sentences
Related Items
Unnamed Item, Deciding low levels of tree-automata hierarchy, Unnamed Item, Index Problems for Game Automata, A gap property of deterministic tree languages., \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\), Characterizing EF and EX tree logics, Unnamed Item