Andreas Herzig
20
Documents
Publications
- 20
- 8
- 7
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Frame-validity games and lower bounds on the complexity of modal axiomsLogic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩
Article dans une revue
hal-02936458v1
|
Tableaux for public announcement logicsJournal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩
Article dans une revue
hal-03470301v1
|
|
|
Global and local graph modifiersElectronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩
Article dans une revue
inria-00556034v1
|
Arbitrary announcement logic (abstract)The Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438-439. ⟨10.2178/bsl/1231081377⟩
Article dans une revue
hal-00747135v1
|
|
'Knowable' as 'known after an announcement'The review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩
Article dans une revue
hal-00800649v1
|
|
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
|
|
Stratified evidence logics28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Aug 2019, Macao, China. pp.1523-1529, ⟨10.24963/ijcai.2019/211⟩
Communication dans un congrès
hal-02411254v1
|
|
Frame-validity games and absolute minimality of modal axioms12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102
Communication dans un congrès
hal-03046246v1
|
|
Before announcement11th conference on Advances in Modal logic (AiML 2016), Aug 2016, Budapest, Hungary. pp.58-77
Communication dans un congrès
hal-01650180v1
|
|
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
|
|
Some truths are best left unsaid9th conference on Advances in Modal logic (AiML 2012), Aug 2012, Copenhagen, Denmark. pp.36-54
Communication dans un congrès
hal-00866705v1
|
|
Agents that speak: modelling communicative plans and information sources in a logic of announcements10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), International Foundation for Autonomous Agents and Multiagent Systems, May 2011, Taipei, Taiwan. pp.1207-1208
Communication dans un congrès
hal-03464951v1
|
A Dynamic Logic for Termgraph Rewriting5th International Conference on Graph Transformations (ICGT 2010), 2010, Twente, Netherlands. pp.59-74, ⟨10.1007/978-3-642-15928-2_5⟩
Communication dans un congrès
hal-00940868v1
|
|
|
What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowabilityTheoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Bruxelles, Belgium. pp.42-51, ⟨10.1145/1324249.1324259⟩
Communication dans un congrès
hal-03516650v1
|
Talkin'bout Kripke modelsInternational Workshop on Hybrid Logic 2007 (HyLo 2007) @ ESSLLI 2007, Aug 2007, Dublin, Ireland
Communication dans un congrès
hal-03516648v1
|
|
A tableau method for public announcement logics16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Jul 2007, Aix-en-Provence, France. pp.43-59, ⟨10.1007/978-3-540-73099-6_6⟩
Communication dans un congrès
hal-03516645v1
|
Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics
Ouvrages
hal-03470292v1
|
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
|
A Modal Logic for Termgraph Rewriting2010
Pré-publication, Document de travail
hal-00940869v1
|
'Knowable' as 'known after an announcement'[Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008
Rapport
hal-00872316v1
|