|
|
- Dynamic probabilistic modal reasoning
Alistair Isaac, Sleeping Beauty and Epistemic Update
Joshua Sack, Extending Probabilistic Dynamic Epistemic Logic
- Semantics, information and learning
Maria Alone & Paul Egre, Knowing whether A or B
Nina Gierasimczuk, Identification through verification with
application to monotone quantifiers
- Logics of actions and intentions
Olivier Roy, Intentions and transformations of strategic games
Jan Broersen, Rosja Mastop, John-Jules Meyer, Paolo Turrini, It's all
up to you:
A study of closed-world interaction and its optimal organization
Lena Kurzen, A logic for cooperation, actions and preferences
Fahad Khan, PDL with an interleaving operation
- Logics of belief change over time
Johan van Benthem and Cedric Degremont, Multi-agent belief dynamics:
bridges between
dynamic doxastic and doxastic temporal logics
Alexandru Baltag, Sonja Smets, Jonathan Zvesper, Dynamic Rationality
in Extensive Games
- Reasoning about game structure
Sascia Pavan, Disambiguation Games in Extended and Strategic Form
Sujata Ghosh, Strategies made explicit in Dynamic Game Logic
- Inference and information
Fernando Valazquez-Quesada, Inference and Update
Guiseppe Primiero, Quasi-merging and Pure-arbitration on information
and the family of adaptive logics ADM
- Reasoning about knowledge in changing environments
Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib, Verifying Time, Memory and Communication bounds in System of
Reasoning Agents
Tomohiro Hoshi and Audrey Yap, ETL/DEL and past operators
Hans van Ditmarsch, Andreas Herzig, Jerome Lang, and Pierre Marquis, Introspective forgetting
|