The succinctness of first-order logic over modal logic via a formula size game

Lauri Hella, Miikka Vilander

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

9 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	Advances in Modal Logic (AiML 11)
Toimittajat	Lev Beklemishev, Stephane Demri, Andras Mate
Kustantaja	COLLEGE PUBLICATIONS
Sivut	401-419
ISBN (painettu)	978-1-84890-201-5
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	Advances in Modal Logic - Kesto: 1 tammik. 2016 → …

Conference	Advances in Modal Logic
Ajanjakso	1/01/16 → …

Julkaisufoorumi-taso

@inproceedings{186d8489afda4a03b8835c4131bfce0b,

title = "The succinctness of first-order logic over modal logic via a formula size game",

author = "Lauri Hella and Miikka Vilander",

year = "2016",

language = "English",

isbn = "978-1-84890-201-5",

pages = "401--419",

editor = "Lev Beklemishev and Stephane Demri and Andras Mate",

booktitle = "Advances in Modal Logic (AiML 11)",

publisher = "COLLEGE PUBLICATIONS",

note = "Advances in Modal Logic ; Conference date: 01-01-2016",

}

TY - GEN

T1 - The succinctness of first-order logic over modal logic via a formula size game

AU - Hella, Lauri

AU - Vilander, Miikka

PY - 2016

Y1 - 2016

M3 - Conference contribution

SN - 978-1-84890-201-5

SP - 401

EP - 419

BT - Advances in Modal Logic (AiML 11)

A2 - Beklemishev, Lev

A2 - Demri, Stephane

A2 - Mate, Andras

PB - COLLEGE PUBLICATIONS

T2 - Advances in Modal Logic

Y2 - 1 January 2016

ER -