2001 |
Preface of the General Chair.
Temporal Representation and Reasoning, TIME-2001.
IEEE Computer Society,
Los Alamitos, pag ix.
|
Logics for Information Update.
Proceedings TARK VIII.
Morgan Kaufmann,
Los Altos, pags 51-88.
|
|
2004 |
Reduction Axioms for Epistemic Actions.
In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds and Heinrich Wansing, eds.,
Proceedings Advances in Modal Logic 2004.
Department of Computer Science, University of Manchester,
Los Altos (Report UMCS-04 9-1), pags 197-211.
[with Barteld Kooi].
|
|
2005 |
Common Knowledge in Update Logics.
In R. van der Meyden, ed.,
Proceedings TARK 10.
Singapore,
, pags 253-261.
[with Jan van Eijck and Barteld Kooi].
|
|
2006 |
Dynamic Update with Probabilities.
In W. van der Hoek and M. Wooldridge, eds.,
Proceedings LOFT 2006.
Liverpool.
[with Jelle Gerbrandy & Barteld Kooi].
(Text available).
|
The Tree of Knowledge in Action.
Proccedings Advances in Modal Logic 2006.
Melbourne.
[with Eric Pacuit].
(Text available).
|
|
2007 |
Dynamic Epistemic Logic and Epistemic Temporal Logic.
TARK 2007.
Namur, pags 72-81.
[with Jelle Gerbrandy and Eric Pacuit].
|
Lindström Theorems for Fragments of First-order Logic.
Proceedings of LICS 2007.
Pags 280-292.
[with Balder ten Cate and Jouko Väänänen].
|
Modeling Simultaneous Games with Concurrent Dynamic Logic.
In J. van Benthem, S. Ju and F. Veltman, eds.,
A Meeting of the Minds, Proceedings LORI Workshop Beijing.
College Publications,
London, pags 243-258.
[with F. Liu and S. Ghosh].
(Text available).
|
|
2008 |
Decisions, Actions, and Games, a logical perspective.
In R. Ramanujam and Sundar Sarukkai, eds.,
Proceedings of the Third Indian Conference on Logic and Applications ICLA 2009.
Springer
(LNAI 5378),
pags 1-22.
(Text available).
|
Multi-Agent Belief Dynamics: Bridges between Dynamic Doxastic and Doxastic Temporal Logics.
In G. Bonanno, W. van der Hoek & B. Löwe, eds.,
Proceedings LOFT.
[with Cédric Dégremont].
(Text available).
|
|
2009 |
Toward a Dynamic Logic of Questions.
In J. Horty and E. Pacuit, eds.,
Proceedings LORI II Chongqing.
Springer
(LNAI 5834),
pags 28-42.
[with Stefan Minica].
(Text available).
|
|