Showing 1 - 10 of 109
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/10001663005
Persistent link: https://www.econbiz.de/10013330161
Persistent link: https://www.econbiz.de/10013410091
Persistent link: https://www.econbiz.de/10004732313
Persistent link: https://www.econbiz.de/10001241810
Persistent link: https://www.econbiz.de/10001624669