Second-order propositional modal logic and monadic alternation hierarchies
scientific article; zbMATH DE number 6361696
scientific article