@inproceedings{9e0ca8f6fada4999bb09ea54794a5fd5,
title = "Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations",
keywords = "Boolean modal logic, Monadic Sigma-1-1, decidability, expressive power, Boolean modal logic, Monadic Sigma-1-1, decidability, expressive power",
author = "Lauri Hella and Antti Kuusisto",
year = "2009",
language = "English",
series = "Computer science research report",
publisher = "Roskilde University",
number = "128",
pages = "103--117",
editor = "Thomas Bolander and Bra{\"u}ner Torben",
booktitle = "Preliminary proceedings of the 6th Workshop on Methods for Modalities",
}