Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

Lauri Hella; Antti Kuusisto

Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Preliminary proceedings of the 6th Workshop on Methods for Modalities
Editors	Thomas Bolander, Braüner Torben
Place of Publication	Roskilde
Publisher	Roskilde University
Pages	103-117
Publication status	Published - 2009
Publication type	A4 Article in conference proceedings

Publication series

Name	Computer science research report
Number	128
ISSN (Print)	0109-9779

Keywords

Boolean modal logic
Monadic Sigma-1-1
decidability
expressive power

Cite this

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

}

Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations. / Hella, Lauri ; Kuusisto, Antti.
Preliminary proceedings of the 6th Workshop on Methods for Modalities. ed. / Thomas Bolander; Braüner Torben. Roskilde: Roskilde University, 2009. p. 103-117 (Computer science research report; No. 128).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

AU - Hella, Lauri

AU - Kuusisto, Antti

PY - 2009

Y1 - 2009

KW - Boolean modal logic

KW - Monadic Sigma-1-1

KW - decidability

KW - expressive power

KW - Boolean modal logic

KW - Monadic Sigma-1-1

KW - decidability

KW - expressive power

M3 - Conference contribution

T3 - Computer science research report

SP - 103

EP - 117

BT - Preliminary proceedings of the 6th Workshop on Methods for Modalities

A2 - Bolander, Thomas

A2 - Torben, Braüner

PB - Roskilde University

CY - Roskilde

ER -