Dynamic Epistemic Logic is the logic of knowledge change. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions.
i.d.R. innert 5-10 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
