Encoding Modal Logics in Logical Frameworks
Arnon Avron, Furio Honsell, Marino Miculan, Cristian ParavanoVolume:
60
Pages:
48
Journal:
Studia Logica
DOI:
10.1023/a:1005060022386
Date:
January, 1998
File:
PDF, 2.44 MB
1998