Andreas Herzig
3
Documents
Publications
- 3
- 3
- 1
- 1
- 1
Alternative axiomatics and complexity of deliberative STIT theoriesJournal of Philosophical Logic, 2008, 37 (4), pp.387-406. ⟨10.1007/s10992-007-9078-7⟩
Article dans une revue
hal-03526734v1
|
|
|
Dynamic logic of propositional assignments : a well-behaved variant of PDL28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013), Jun 2013, New Orleans, LA, United States. pp.143-152, ⟨10.1109/LICS.2013.20⟩
Communication dans un congrès
hal-01240721v1
|
Coalition games over Kripke semanticsDégremont, Cédric; Keiff, Laurent; Rückert, Helge. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, pp.11-32, 2008, 978-1904987130
Chapitre d'ouvrage
hal-03526733v1
|