| Publication | Date of Publication | Type |
|---|
A van Benthem theorem for atomic and molecular logics
| 2025-01-09 | Paper |
Towards universal logic: gaggle logics
| 2023-03-29 | Paper |
Towards universal logic: gaggle logics
| 2022-09-28 | Paper |
Principles for a judgement editor based on binary decision diagrams
| 2022-09-28 | Paper |
On the universality of atomic and molecular logics via protologics
Logica Universalis | 2022-09-01 | Paper |
Expedition in the update universe
| 2021-12-01 | Paper |
Automata techniques for epistemic protocol synthesis
| 2021-06-22 | Paper |
Corrigendum to: Displaying updates in logic
Journal Of Logic And Computation | 2020-12-15 | Paper |
Modal logics of sabotage revisited
Journal Of Logic And Computation | 2019-01-31 | Paper |
DEL-sequents for regression and epistemic planning
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Displaying updates in logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Dynamic epistemic logic in update logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Tableau method and NEXPTIME-completeness of DEL-sequents
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Sabotage modal logic: some model and proof theoretic aspects
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Intricate axioms as interaction axioms
Studia Logica | 2015-09-24 | Paper |
Dynamic Epistemic Logic as a Substructural Logic
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Global and local graph modifiers
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Generalized DEL-Sequents
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Exploring the power of converse events
Dynamic Formal Epistemology | 2012-08-23 | Paper |
DEL-sequents for progression
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Private announcement and belief expansion: an internal perspective
Journal of Logic and Computation | 2012-06-20 | Paper |
Privacy policies with modal logic: the dynamic turn
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Generalizing AGM to a multi-agent setting
Logic Journal of the IGPL | 2010-08-13 | Paper |
An internal version of epistemic logic
Studia Logica | 2010-04-26 | Paper |
Dynamic Context Logic
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Interpreting an action from what we perceive and what we expect
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Consistency Preservation and Crazy Formulas in BMS
Logics in Artificial Intelligence | 2008-10-27 | Paper |
From DEL to EDL: Exploring the Power of Converse Events
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Intelligent Agents and Multi-Agent Systems
Lecture Notes in Computer Science | 2005-09-14 | Paper |
