Jump to Navigation

LTG

Logic and Theory Group

University of Bern

You are here

Home ›

Publications

Export 1 results:

BibTex
RTF
Tagged
XML
RIS

Filters: Author is Ian Hodkinson [Clear All Filters]

2006

K. Brünnler, “Deep sequent systems for modal logic”, in Proceedings of Advances in Modal Logic, 2006, vol. 6, p. 107{–}119.

Google Scholar
BibTex
RTF
Tagged
XML
RIS

Home
Contact
Staff
Research Topics
Lectures
Calendar
Publications