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

number = "128",

pages = "103--117",

editor = "Thomas Bolander and Bra{\"u}ner Torben",

booktitle = "Preliminary proceedings of the 6th Workshop on Methods for Modalities",

}