| Publication | Date of Publication | Type |
|---|
Solutions to the knower paradox in the light of Haack's criteria
Journal of Philosophical Logic | 2023-08-02 | Paper |
Two-sided sequent calculi for \textit{FDE}-like four-valued logics
Journal of Philosophical Logic | 2023-04-24 | Paper |
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions
Journal Of Logic And Computation | 2022-09-08 | Paper |
| How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation | 2022-06-24 | Paper |
| Cheryl's birthday | 2021-12-14 | Paper |
Cheryl's birthday
(available as arXiv preprint) | 2021-12-14 | Paper |
Arrow update synthesis
Information and Computation | 2020-12-15 | Paper |
| Playing cards with Hintikka: an introduction to dynamic epistemic logic | 2020-07-24 | Paper |
A dynamic epistemic framework for reasoning about conformant probabilistic plans
Artificial Intelligence | 2019-08-28 | Paper |
The ambiguity of knowability
The Review of Symbolic Logic | 2017-05-31 | Paper |
Arbitrary arrow update logic
Artificial Intelligence | 2016-11-29 | Paper |
One hundred prisoners and a light bulb
Nieuw Archief voor Wiskunde. Vijfde Serie | 2016-09-07 | Paper |
| scientific article; zbMATH DE number 6607802 (Why is no real title available?) | 2016-07-29 | Paper |
| One hundred prisoners and a light bulb. Illustrations by Elancheziyan | 2015-07-15 | Paper |
Logic and probabilistic update
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Three-valued logics in modal logic
Studia Logica | 2013-12-05 | Paper |
On the succinctness of some modal logics
Artificial Intelligence | 2013-08-23 | Paper |
Completeness via correspondence for extensions of the logic of paradox
The Review of Symbolic Logic | 2013-01-10 | Paper |
| Semantic results for ontic and epistemic change | 2012-11-16 | Paper |
Local properties in modal logic
Artificial Intelligence | 2012-11-15 | Paper |
Logics of rational interaction
Dynamic Formal Epistemology | 2012-08-23 | Paper |
On the relative succinctness of two extensions by definitions of multimodal logic
Lecture Notes in Computer Science | 2012-08-14 | Paper |
Arrow update logic
The Review of Symbolic Logic | 2012-03-29 | Paper |
Expressivity and completeness for public update logics via reduction axioms
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Dynamic update with probabilities
Studia Logica | 2009-11-04 | Paper |
Erratum to: ``Strong completeness and limited canonicity for PDL
Journal of Logic, Language and Information | 2009-05-04 | Paper |
Strong completeness and limited canonicity for PDL
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Dynamic Epistemic Logic and Knowledge Puzzles
Conceptual Structures: Knowledge Architectures for Smart Applications | 2009-03-06 | Paper |
Dynamic epistemic logic
Synthese Library | 2008-11-07 | Paper |
Conflicting Obligations in Multi-agent Deontic Logic
Deontic Logic and Artificial Normative Systems | 2008-10-09 | Paper |
Moral conflicts between groups of agents
Journal of Philosophical Logic | 2008-04-09 | Paper |
| Playing cards with Hintikka: an introduction to dynamic epistemic logic | 2007-07-16 | Paper |
Logics of communication and change
Information and Computation | 2007-01-22 | Paper |
The secret of my success
Synthese | 2006-12-20 | Paper |
| scientific article; zbMATH DE number 5046369 (Why is no real title available?) | 2006-08-15 | Paper |
Hybrid Logics with Infinitary Proof Systems
Journal Of Logic And Computation | 2006-07-03 | Paper |
Trying to resolve the two-envelope problem
Synthese | 2005-12-12 | Paper |
| scientific article; zbMATH DE number 2149447 (Why is no real title available?) | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2051380 (Why is no real title available?) | 2004-03-07 | Paper |
Probabilistic dynamic epistemic logic
Journal of Logic, Language and Information | 2003-09-01 | Paper |
