On the existence of a modal-logical basis for monadic second-order logic

Lauri Hella, Tero Tulenheimo

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Englanti
Sivut	157-180
Julkaisu	JOURNAL OF LOGIC AND COMPUTATION
Vuosikerta	23
Numero	1
DOI - pysyväislinkit	https://doi.org/10.1093/logcom/exs001
Tila	Julkaistu - 2013
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisufoorumi-taso

@article{1b2adc3ab46943558eba875a86e8e8c3,

title = "On the existence of a modal-logical basis for monadic second-order logic",

author = "Lauri Hella and Tero Tulenheimo",

year = "2013",

doi = "10.1093/logcom/exs001",

language = "English",

volume = "23",

pages = "157--180",

journal = "JOURNAL OF LOGIC AND COMPUTATION",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}