scientific article
From MaRDI portal
Publication:3085169
zbMath1244.03067MaRDI QIDQ3085169
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monadic second-order logicfinite model theoryalternation hierarchiessecond-order propositional modal logic
Related Items (5)
Second-order propositional modal logic and monadic alternation hierarchies ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ On the logic of belief and propositional quantification ⋮ What is nominalistic mereology? ⋮ Hybrid logic meets IF modal logic
This page was built for publication:
