Second-order propositional modal logic and monadic alternation hierarchies
type: Item
instance of: scholarly article
title: Second-order propositional modal logic and monadic alternation hierarchies
zbMATH Open document ID: 1343.03015
author: Antti Kuusisto
published in: Annals of Pure and Applied Logic
publication date: 2014-10-27T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03C80
zbMATH DE Number: 6361696
zbMATH Keywords: modal logic
zbMATH Keywords: propositional quantifiers
zbMATH Keywords: monadic second-order logic
zbMATH Keywords: alternation hierarchies
zbMATH Keywords: second-order logic
MaRDI profile type: Publication
full work available at URL: j.apal.2014.08.003
OpenAlex ID: W2065586815
cites work: Hybrid logics: Characterization, interpolation and complexity
cites work: On propositional quantifiers in provability logic
cites work: Q3781066
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Hybrid languages
cites work: Modal logic
cites work: On modal logic with propositional quantifiers
cites work: Expressivity of second order propositional modal logic
cites work: Q4298571
cites work: Propositional quantifiers in modal logic1
cites work: Interpolation for first order S5
cites work: Q3408862
cites work: Monadic Σ 1 1 and Modal Logic with Quantified Binary R
cites work: On the complexity of propositional quantification in intuitionistic logic
cites work: A completeness theorem in modal logic
cites work: Q3085169
cites work: Propositional Dynamic Logic with Program Quantifiers
cites work: Elements of finite model theory.
cites work: Arity and alternation in second-order logic
cites work: Q3086932
cites work: The monadic quantifier alternation hierarchy over grids and graphs
cites work: What is nominalistic mereology?
cites work: Q4218948
cites work: The polynomial-time hierarchy
DOI: 10.1016/J.APAL.2014.08.003
Recommended article: Q3085169
Recommended article: Second-order propositional modal logic: expressiveness and completeness results
Recommended article: The expressive power of second-order propositional modal logic
Recommended article: Expressivity of second order propositional modal logic
Recommended article: Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
Recommended article: Monadic Second-Order Logic with Arbitrary Monadic Predicates
Recommended article: On the existence of a modal-logical basis for monadic second-order logic
Recommended article: Monadic Second Order Logic And Its Fragments
description: scientific article; zbMATH DE number 6361696