scientific article; zbMATH DE number 1304338
From MaRDI portal
Publication:4251069
zbMath0924.03029MaRDI QIDQ4251069
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (8)
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
This page was built for publication:
