Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability
J. SakalauskaitėVolume:
47
Language:
english
Pages:
11
DOI:
10.1007/s10986-007-0019-5
Date:
July, 2007
File:
PDF, 120 KB
english, 2007