@book{3057659314dd4d9d99d2cc63f4c803e0,
title = "Modal fragments of second-order logic",
keywords = "finite model theory, modaalilogiikka, modal logic, second-order logic, toisen kertaluvun logiikka, {\"a}{\"a}rellisten mallien teoria, finite model theory, modaalilogiikka, modal logic, second-order logic, toisen kertaluvun logiikka, {\"a}{\"a}rellisten mallien teoria",
author = "Antti Kuusisto",
year = "2011",
language = "English",
isbn = "978-951-44-8573-2",
series = "Acta Universitatis Tamperensis",
publisher = "Tampere University Press",
number = "1657",
}