Computational modal logic
Ian Horrocks‚ Ullrich Hustadt‚ Ulrike Sattler and Renate Schmidt
Book Title
Handbook of Modal Logic
Chapter
4
Editor
Patrick Blackburn and Johan van Benthem and Frank Wolter
Pages
181–245
Publisher
Elsevier
Year
2006
Ian Horrocks‚ Ullrich Hustadt‚ Ulrike Sattler and Renate Schmidt