Learn More
We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules(More)
Introduction 1. Cognitive actions 2. Dynamification 3. Technical tools 4. Process simulation and definability 5. Relational algebra of process operations 6. Two-level static-dynamic architecture 7.(More)
ConclusionsA number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right(More)
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show how to fit existing(More)