![](/img/cover-not-exists.png)
Relational dual tableau decision procedure for modal logic K
Golinska-Pilarek, J., Munoz-Velasco, E., Mora-Bonilla, A.Volume:
20
Language:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/jzr019
Date:
August, 2012
File:
PDF, 128 KB
english, 2012