Změny stavů znalostí v dynamické epistemické logice
The Logic of Hybrid Action Models is presented in this thesis along with a sound and complete Hilbert style calculus. It is an original multimodal epistemic logic that tries to give the agents (i) a strong method of communication and (ii) a rich vocabulary to communicate about by combining action mo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | English |
| Published: |
2012
|
| Online Access: | http://www.nusl.cz/ntk/nusl-310488 |