Natural Deduction, Hybrid Systems and Modal Logics |
|
| Author:
| Indrzejczak, Andrzej |
| Series title: | Trends in Logic Ser. |
| ISBN: | 978-94-007-3243-8 |
| Publication Date: | Sep 2012 |
| Publisher: | Springer Netherlands
|
| Imprint: | Springer |
| Book Format: | Paperback |
| List Price: | USD $249.99 |
Book Description:
|
Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.
Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is provided, including a presentation of Modal Logics, First-Order Modal and Hybrid Modal Logics.