Cut-free Gentzen Calculus for Multimodal CK
Mendler, Michael; Scheele, Stephan (2011): Cut-free Gentzen Calculus for Multimodal CK, in: Information and computation, Jg. 209, Nr. 12, December 2011: Intuitionistic Modal Logic and Applications (IMLA 2008), S. 1435–1538.
Faculty/Chair:
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
URL:
Type:
Article
URI:
Activation date:
April 30, 2014

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/5451