Existential second-order logic and modal logic with quantified accessibility relations

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

Original language	English
Pages (from-to)	217-234
Journal	Information and Computation
Volume	247
DOIs	https://doi.org/10.1016/j.ic.2016.01.003
Publication status	Published - 2016
Publication type	A1 Journal article-refereed

Keywords

@article{89791b5b50f24120a1ff8a55047ed073,

title = "Existential second-order logic and modal logic with quantified accessibility relations",

keywords = "Existential second-order logic, Finite model theory, Modal logic, Existential second-order logic, Finite model theory, Modal logic",

author = "Lauri Hella and Antti Kuusisto",

year = "2016",

doi = "10.1016/j.ic.2016.01.003",

language = "English",

volume = "247",

pages = "217--234",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier",

}

TY - JOUR

T1 - Existential second-order logic and modal logic with quantified accessibility relations

AU - Hella, Lauri

AU - Kuusisto, Antti

PY - 2016

Y1 - 2016

KW - Existential second-order logic

KW - Finite model theory

KW - Modal logic

KW - Existential second-order logic

KW - Finite model theory

KW - Modal logic

U2 - 10.1016/j.ic.2016.01.003

DO - 10.1016/j.ic.2016.01.003

M3 - Article

SN - 0890-5401

VL - 247

SP - 217

EP - 234

JO - Information and Computation

JF - Information and Computation

ER -