Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
| Autor: | Golińska-Pilarek, Joanna, Huuskonen, Taneli, Muñoz-Velasco, Emilio |
|---|---|
| Zdroj: | In Annals of Pure and Applied Logic February 2014 165(2):409-427 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect