Documentation
Français (FR)

Anglais (EN)

Andreas Herzig

20

Documents

Publications

philippe-balbiani

	Frame-validity games and lower bounds on the complexity of modal axioms Philippe Balbiani , David Fernández Duque , Andreas Herzig , Petar Iliev Logic Journal of the IGPL, 2020, 30 (1), ⟨10.1093/jigpal/jzaa068⟩ Article dans une revue hal-02936458v1
	Tableaux for public announcement logics Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago De Lima Journal 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 modifiers Guillaume Aucher , Philippe Balbiani , Luis Fariñas del Cerro , Andreas Herzig Electronic 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) Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomoshiro Hoshi 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' Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi 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 theories Philippe Balbiani , Andreas Herzig , Nicolas Troquard Journal of Philosophical Logic, 2008, 37 (4), pp.387-406. ⟨10.1007/s10992-007-9078-7⟩ Article dans une revue hal-03526734v1

	Stratified evidence logics Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Emiliano Lorini 28th 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 axioms Philippe Balbiani , David Fernández-Duque , Andreas Herzig , Petar Iliev 12th International Conference on Advances in Modal Logic (AiML 2018), Aug 2018, Berne, Switzerland. pp.83-102 Communication dans un congrès hal-03046246v1
	Before announcement Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig 11th 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 PDL Philippe Balbiani , Andreas Herzig , Nicolas Troquard 28th 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 unsaid Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago De Lima 9th 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 announcements Philippe Balbiani , Nadine Guiraud , Andreas Herzig , Emiliano Lorini 10th 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 Rewriting Philippe Balbiani , Rachid Echahed , Andreas Herzig 5th 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 knowability Philippe Balbiani , Alexandru Baltag , Hans Van Ditmarsch , Andreas Herzig , Tomohiro Hoshi Theoretical 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 models Philippe Balbiani , Andreas Herzig International 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 logics Philippe Balbiani , Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima 16th 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 2 Philippe Balbiani , Andreas Herzig , Luis Fariñas del Cerro Balbiani, 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 semantics Philippe Balbiani , Olivier Gasquet , Andreas Herzig , François Schwarzentruber , Nicolas Troquard Dé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 Rewriting Philippe Balbiani , Rachid Echahed , Andreas Herzig 2010 Pré-publication, Document de travail hal-00940869v1

	'Knowable' as 'known after an announcement' Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi [Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008 Rapport hal-00872316v1