Propositional modal logic of programs
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
On combinations of propositional dynamic logic and doxastic modal logics
Journal of Logic, Language and Information
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Dynamic Epistemic Logic
Hi-index | 0.00 |
A mixture of propositional dynamic logic and epistemic logic that we call PDL + E is used to give a formalization of Artemov's knowledge based reasoning approach to game theory, (KBR), [4, 5]. Epistemic states of players are represented explicitly and reasoned about formally. We give a detailed analysis of the Centipede game using both proof theoretic and semantic machinery. This helps make the case that PDL + E can be a useful basis for the logical investigation of game theory.