College Publications · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Advances in Modal Logic, Volume 12 | 978-1-84890-255-8 (1-84890-255-7) | 2018 | Guran Bezhanishvili · Giovanna D'Agostino | |
| Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, ... Notes in Computer Science, Band 6793) | 978-3-642-22118-7 (3-642-22118-1) | 2011 | Kai Brünnler | |
| Proof Theory for Fuzzy Logics | 978-1-4020-9408-8 (1-4020-9408-6) | 2008 | Nicola Olivetti · Dov M. Gabbay |