scientific article; zbMATH DE number 1954388
From MaRDI portal
Publication:4415259
zbMath1027.03030MaRDI QIDQ4415259
Publication date: 28 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2556/25560241.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) 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, Unnamed Item, \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)