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

Lauri Hella, Tero Tulenheimo

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

Original language	English
Pages (from-to)	157-180
Journal	JOURNAL OF LOGIC AND COMPUTATION
Volume	23
Issue number	1
DOIs	https://doi.org/10.1093/logcom/exs001
Publication status	Published - 2013
Publication type	A1 Journal article-refereed

Publication forum classification

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

}