Bisimulation Quantified Modal Logics: Decidability

Research output: Chapter in Book/Conference paper › Chapter › peer-review

Original language	English
Title of host publication	Advances in Modal Logic Volume 6
Editors	Y de Venema
Place of Publication	London, U.K.
Publisher	College Publications
Pages	147-166
Volume	6
ISBN (Print)	1904987206
Publication status	Published - 2006

Cite this

@inbook{12ddc0a53549472eba89989f18998376,

title = "Bisimulation Quantified Modal Logics: Decidability",

author = "Tim French",

year = "2006",

language = "English",

isbn = "1904987206",

volume = "6",

pages = "147--166",

editor = "Venema, \{Y de\}",

booktitle = "Advances in Modal Logic Volume 6",

publisher = "College Publications",

}