Guillaume Aucher

Logica Universalis, 2022

A van Benthem Theorem for Atomic and Molecular Logics.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

2020

Corrigendum to: Displaying updates in logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Towards Universal Logic: Gaggle Logics.

[BibT_eX]

[DOI]

FLAP, 2020

Expedition in the Update Universe.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

Principles for a Judgement Editor Based on Binary Decision Diagrams.

[BibT_eX]

[DOI]

Jean Berbinau

Marie-Laure Morin

FLAP, 2019

Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032).

[BibT_eX]

[DOI]

Paul Égré

Gabriele Kern-Isberner

Francesca Poggiolesi

Dagstuhl Reports, 2019

2018

Modal logics of sabotage revisited.

[BibT_eX]

[DOI]

Johan van Benthem

Davide Grossi

J. Log. Comput., 2018

2016

Dynamic epistemic logic in update logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Displaying updates in logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

2015

Intricate Axioms as Interaction Axioms.

[BibT_eX]

[DOI]

Stud Logica, 2015

Games with Communication: From Belief to Preference Change.

[BibT_eX]

[DOI]

Sophie Pinchinat

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects.

[BibT_eX]

[DOI]

Johan van Benthem

Davide Grossi

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Multi-Agent Only Knowing on Planet Kripke.

[BibT_eX]

[DOI]

Vaishak Belle

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

When Conditional Logic and Belief Revision Meet Substructural Logics.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

2014

Automata Techniques for Epistemic Protocol Synthesis.

[BibT_eX]

[DOI]

Sophie Pinchinat

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Axioms .2 and .4 as Interaction Axioms.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Supervisory control theory in epistemic temporal logic.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Dynamic Epistemic Logic as a Substructural Logic.

[BibT_eX]

[DOI]

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

On the Complexity of Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

An Alternative Axiomatization of DEL and Its Applications.

[BibT_eX]

[DOI]

Yanjing Wang

Proceedings of the IJCAI 2013, 2013

Undecidability in Epistemic Planning.

[BibT_eX]

[DOI]

Thomas Bolander

Proceedings of the IJCAI 2013, 2013

2012

Private announcement and belief expansion: an internal perspective.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

DEL-sequents for regression and epistemic planning.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2012

Generalized DEL-Sequents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

DEL-sequents for progression.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Tableau Method and NEXPTIME-Completeness of DEL-Sequents.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Methods for Modalities, 2011

A dynamic logic for privacy compliance.

[BibT_eX]

[DOI]

Guido Boella

Artif. Intell. Law, 2011

Dynamics in Delegation and Revocation Schemes: A Logical Approach.

[BibT_eX]

[DOI]

Proceedings of the Data and Applications Security and Privacy XXV, 2011

2010

An Internal Version of Epistemic Logic.

[BibT_eX]

[DOI]

Stud Logica, 2010

Generalizing AGM to a multi-agent setting.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

Characterizing Updates in Dynamic Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Privacy Policies with Modal Logic: The Dynamic Turn.

[BibT_eX]

[DOI]

Guido Boella

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

BMS revisited.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Dynamic Context Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic.

[BibT_eX]

[DOI]

Guido Boella

Proceedings of the AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue, 2009

Dynamic Context Logic and its Application to Norm.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

2008

Perspectives on belief and change.

[BibT_eX]

[DOI]

PhD thesis, 2008

Consistency Preservation and Crazy Formulas in BMS.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Internal models and private multi-agent belief revision.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Interpreting an action from what we perceive and what we expect.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Global and Local Graph Modifiers.

[BibT_eX]

[DOI]

Philippe Balbiani

Luis Fariñas del Cerro

Andreas Herzig

Proceedings of the 5th Workshop on Methods for Modalities, 2007

From DEL to EDL : Exploring the Power of Converse Events.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

A logical formalism for the subjective approach in a multi-agent setting.

[BibT_eX]

[DOI]

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2005

How Our Beliefs Contribute to Interpret Actions.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications IV, 2005

2004

A Combined System for Update Logic and Belief Revision.

[BibT_eX]

[DOI]