Skip to main content

On logic of knowledge with justifications

S. Artemov‚ E. Kazakov and D. Shapiro

Institution
Cornell University
Number
CFIS 99−12
Year
1999