Sequent Calculi with Analytic Cut for Logics of Time and Knowledge with Perfect Recall
J. SakalauskaitėVolume:
44
Language:
english
Pages:
12
Journal:
Lithuanian Mathematical Journal
DOI:
10.1023/b:lima.0000033782.97134.a5
Date:
April, 2004
File:
PDF, 155 KB
english, 2004