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

}

TY - CHAP

T1 - 4 Computational modal logic

AU - Horrocks, Ian

AU - Hustadt, Ullrich

AU - Sattler, Ulrike

AU - Schmidt, Renate

PY - 2007

Y1 - 2007

UR - https://www.scopus.com/pages/publications/40849135945

U2 - 10.1016/S1570-2464(07)80007-3

DO - 10.1016/S1570-2464(07)80007-3

M3 - Chapter

VL - 3

T3 - Handbook of Modal Logic

SP - 181

EP - 245

BT - Studies in Logic and Practical Reasoning|Stud. Logic Pract. Reasoning

ER -