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