Computational modal logic
Ian Horrocks‚ Ullrich Hustadt‚ Ulrike Sattler and Renate Schmidt
Details
| 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 |