Publications

Export 1 results:
Filters: Author is Ian Hodkinson  [Clear All Filters]
2006
Brünnler, K.: Deep sequent systems for modal logic. In: Governatori, G., Hodkinson, I., and Venema, Y. Proceedings of Advances in Modal Logic. pp. 107-119. College Publications (2006).