Showing 1 - 10 of 40
The paper consists of two parts. The first one is a concise introduction to epistemic (both propositional and predicate) logic with common knowledge operator. As the full predicate logics of common knowledge are not even recursively enumerable, in the second part we introduce and investigate the...
Persistent link: https://www.econbiz.de/10005753379
Persistent link: https://www.econbiz.de/10007169076
Persistent link: https://www.econbiz.de/10002989603
Persistent link: https://www.econbiz.de/10003030377
Persistent link: https://www.econbiz.de/10003030380
Persistent link: https://www.econbiz.de/10003030396
Persistent link: https://www.econbiz.de/10003030408
Persistent link: https://www.econbiz.de/10003030449
Persistent link: https://www.econbiz.de/10003030457