Cut-Free Sequent Calculi for Some Tense Logics | Tokyo Tech Research Repository (T2R2)

Publication Information

Title

Japanese:
English:	Cut-Free Sequent Calculi for Some Tense Logics

Author

Japanese:	鹿島亮.
English:	RYO KASHIMA.

Language

English

Journal/Book name

Japanese:
English:	Studia Logica

Volume, Number, Page

Vol. 53 pp. 119

Published date

1994

Publisher

Japanese:
English:

Conference name

Japanese:
English:

Conference site

Japanese:
English:

©2007 Tokyo Institute of Technology All rights reserved.