 Simplicial Models for the Epistemic Logic of Faulty AgentsBoletín de la Sociedad Matematica Mexicana (BSMM), 2023 |
 On Two- and Three-valued Semantics for Impure Simplicial ComplexesInternational Symposium on Games, Automata, Logics and Formal Verification (GandALF), 2023 |
 A many-sorted epistemic logic for chromatic hypergraphsAnnual Conference for Computer Science Logic (CSL), 2023 |
 Communication Pattern Logic: Epistemic and Topological ViewsJournal of Philosophical Logic (J. Philos. Log.), 2022 |
 A Simplicial Model for : Epistemic Logic with Agents that May DieSymposium on Theoretical Aspects of Computer Science (STACS), 2021 |
 Wanted Dead or Alive : Epistemic logic for impure simplicial complexesJournal of Logic and Computation (J. Log. Comput.), 2021 |
 Tasks in Modular Proofs of Concurrent AlgorithmsSafety-critical Systems Symposium (SSS), 2019 |
 A dynamic epistemic logic analysis of the equality negation taskDynamic Logic. New Trends and Applications (DLNTA), 2019 |
