A sequent calculus for logic of knowledge and past time: Completeness and decidability
J. SakalauskaitėVolume:
46
Language:
english
Pages:
9
Journal:
Lithuanian Mathematical Journal
DOI:
10.1007/s10986-006-0033-z
Date:
July, 2006
File:
PDF, 110 KB
english, 2006