4 Computational modal logic

Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt

Research output: Chapter in Book/Conference proceeding › Chapter

Original language	English
Title of host publication	Studies in Logic and Practical Reasoning\|Stud. Logic Pract. Reasoning
Pages	181-245
Number of pages	64
Volume	3
DOIs	https://doi.org/10.1016/S1570-2464(07)80007-3
Publication status	Published - 2007

Name	Handbook of Modal Logic

Access to Document

@inbook{5a946370c6b0420ab53f26599e29de35,

title = "4 Computational modal logic",

author = "Ian Horrocks and Ullrich Hustadt and Ulrike Sattler and Renate Schmidt",

year = "2007",

doi = "10.1016/S1570-2464(07)80007-3",

language = "English",

volume = "3",

series = "Handbook of Modal Logic",

pages = "181--245",

booktitle = "Studies in Logic and Practical Reasoning|Stud. Logic Pract. Reasoning",

}