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

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Englanti
Sivut	217-234
Julkaisu	Information and Computation
Vuosikerta	247
DOI - pysyväislinkit	https://doi.org/10.1016/j.ic.2016.01.003
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Tutkimusalat

@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 Inc.",

}

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 -