About cut elimination for logics of common knowledge
Luca Alberucci, Gerhard JägerVolume:
133
Year:
2005
Language:
english
Pages:
27
DOI:
10.1016/j.apal.2004.10.004
File:
PDF, 331 KB
english, 2005