Second-order propositional modal logic and monadic alternation hierarchies

Antti Kuusisto

doi:10.1016/j.apal.2014.08.003

Second-order propositional modal logic and monadic alternation hierarchies

Research output: Contribution to journal › Article › Scientific › peer-review

4 Citations (Scopus)

Original language	English
Pages (from-to)	1-28
Journal	ANNALS OF PURE AND APPLIED LOGIC
Volume	166
Issue number	1
DOIs	https://doi.org/10.1016/j.apal.2014.08.003
Publication status	Published - 2015
Publication type	A1 Journal article-refereed

Keywords

Modal logic
alternation hierarchies
monadic second-order logic
propositional quantifiers
second-order logic

Publication forum classification

Publication forum level 2

Access to Document

10.1016/j.apal.2014.08.003

Cite this

@article{04e821edddc54f029a2079a56ade5767,

title = "Second-order propositional modal logic and monadic alternation hierarchies",

keywords = "Modal logic, alternation hierarchies, monadic second-order logic, propositional quantifiers, second-order logic, Modal logic, alternation hierarchies, monadic second-order logic, propositional quantifiers, second-order logic",

author = "Antti Kuusisto",

year = "2015",

doi = "10.1016/j.apal.2014.08.003",

language = "English",

volume = "166",

pages = "1--28",

journal = "ANNALS OF PURE AND APPLIED LOGIC",

issn = "0168-0072",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Second-order propositional modal logic and monadic alternation hierarchies

AU - Kuusisto, Antti

PY - 2015

Y1 - 2015

KW - Modal logic

KW - alternation hierarchies

KW - monadic second-order logic

KW - propositional quantifiers

KW - second-order logic

KW - Modal logic

KW - alternation hierarchies

KW - monadic second-order logic

KW - propositional quantifiers

KW - second-order logic

U2 - 10.1016/j.apal.2014.08.003

DO - 10.1016/j.apal.2014.08.003

M3 - Article

VL - 166

SP - 1

EP - 28

JO - ANNALS OF PURE AND APPLIED LOGIC

JF - ANNALS OF PURE AND APPLIED LOGIC

SN - 0168-0072

IS - 1

ER -