Options
Cut-free Gentzen Calculus for Multimodal CK
Mendler, Michael; Scheele, Stephan (2011): „Cut-free Gentzen Calculus for Multimodal CK“.
Faculty/Professorship:
Author:
Title of the Journal:
Information and computation
ISSN:
0890-5401
Year of publication:
2011
Volume:
209
Issue:
12, December 2011: Intuitionistic Modal Logic and Applications (IMLA 2008)
Pages:
Language:
English
Type:
Article
published:
April 30, 2014
Permalink
https://fis.uni-bamberg.de/handle/uniba/5451