| Publication | Date of Publication | Type |
|---|
Dependence Logics in Temporal Settings
(available as arXiv preprint) | N/A | Paper |
Logic meets Wigner's Friend (and their Friends)
(available as arXiv preprint) | N/A | Paper |
Knowability as continuity: a topological account of informational dependence
(available as arXiv preprint) | N/A | Paper |
Justified belief, knowledge, and the topology of evidence
Synthese | 2026-03-27 | Paper |
The topology of surprise
Artificial Intelligence | 2025-12-12 | Paper |
| Logics for data exchange and communication | 2025-06-26 | Paper |
| Learning what others know | 2025-02-20 | Paper |
The topological mu-calculus: completeness and decidability
Journal of the ACM | 2025-02-05 | Paper |
| Compositionality in context | 2024-10-01 | Paper |
Logic meets Wigner's friend (and their friends)
International Journal of Theoretical Physics | 2024-07-10 | Paper |
Tracking probabilistic truths: a logic for statistical learning
Synthese | 2024-02-01 | Paper |
Arbitrary public announcement logic with memory
Journal of Philosophical Logic | 2023-02-24 | Paper |
| Causal agency and responsibility: a refinement of STIT logic | 2022-10-25 | Paper |
| Topological Evidence Logics: Multi-agent Setting | 2022-08-11 | Paper |
A modal logic for supervised learning
Journal of Logic, Language and Information | 2022-07-15 | Paper |
| Logics for Epistemic Actions: Completeness, Decidability, Expressivity | 2022-03-13 | Paper |
Learning probabilities: towards a logic of statistical learning
(available as arXiv preprint) | 2021-12-20 | Paper |
| Learning probabilities: towards a logic of statistical learning | 2021-12-20 | Paper |
On the solvability of inductive problems: a study in epistemic topology
(available as arXiv preprint) | 2021-12-07 | Paper |
| On the solvability of inductive problems: a study in epistemic topology | 2021-12-07 | Paper |
A simple logic of functional dependence
Journal of Philosophical Logic | 2021-11-04 | Paper |
| Learning What Others Know | 2021-09-15 | Paper |
A Simple Logic of Functional Dependence
(available as arXiv preprint) | 2021-03-27 | Paper |
| The logic of AGM learning from partial observations | 2020-07-08 | Paper |
| The Mckinsey-Tarski theorem for topological evidence logics | 2020-03-04 | Paper |
The probabilistic logic of communication and change
Journal Of Logic And Computation | 2020-02-13 | Paper |
On the right path: a modal logic for supervised learning
(available as arXiv preprint) | 2020-01-30 | Paper |
| The topology of full and weak belief | 2020-01-15 | Paper |
Truth-tracking by belief revision
Studia Logica | 2019-11-29 | Paper |
A dynamic logic for learning theory
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
Dynamic epistemic logics of diffusion and prediction in social networks
Studia Logica | 2019-07-03 | Paper |
A topological approach to full belief
Journal of Philosophical Logic | 2019-06-17 | Paper |
| APAL with memory Ii better | 2018-10-18 | Paper |
| To know is to know the value of a variable | 2018-04-23 | Paper |
| Beliefs and evidence in justification models | 2018-04-23 | Paper |
A dynamic logic for learning theory
Lecture Notes in Computer Science | 2018-04-12 | Paper |
Bisimulation for conditional modalities
Studia Logica | 2018-04-04 | Paper |
Modeling correlated information change: from conditional beliefs to quantum conditionals
Soft Computing | 2018-02-27 | Paper |
| The logic of conditional doxastic actions | 2018-01-03 | Paper |
Evidence logics with relational evidence
(available as arXiv preprint) | 2017-11-22 | Paper |
| Evidence logics with relational evidence | 2017-11-22 | Paper |
| Quotient dynamics: the logic of abstraction | 2017-11-22 | Paper |
| Topo-logic as a dynamic-epistemic logic | 2017-11-22 | Paper |
The logic of public announcements, common knowledge, and private suspicions
Readings in Formal Epistemology | 2017-04-07 | Paper |
A qualitative theory of dynamic interactive belief revision
Readings in Formal Epistemology | 2017-04-07 | Paper |
Correlated information: a logic for multi-partite quantum systems
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Justified belief and the topology of evidence
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Logics of informational interactions
Journal of Philosophical Logic | 2016-04-13 | Paper |
| scientific article; zbMATH DE number 6435072 (Why is no real title available?) | 2015-05-11 | Paper |
DDL as an ``internalization'' of dynamic belief revision
Outstanding Contributions to Logic | 2015-04-10 | Paper |
| scientific article; zbMATH DE number 6389537 (Why is no real title available?) | 2015-01-22 | Paper |
| scientific article; zbMATH DE number 6389574 (Why is no real title available?) | 2015-01-22 | Paper |
| Logical models of informational cascades | 2015-01-22 | Paper |
| scientific article; zbMATH DE number 6389580 (Why is no real title available?) | 2015-01-22 | Paper |
PLQP \& Company: decidable logics for quantum algorithms
International Journal of Theoretical Physics | 2014-11-19 | Paper |
The logic of justified belief, explicit knowledge, and conclusive evidence
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
The dynamic turn in quantum logic
Synthese | 2013-11-25 | Paper |
The topology of belief, belief revision and defeasible knowledge
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
| The algebra of multi-agent dynamic belief revision | 2013-10-07 | Paper |
| Algebra and sequent calculus for epistemic actions | 2013-09-25 | Paper |
Quantum Probabilistic Dyadic Second-Order Logic
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
| A coalgebraic semantics for epistemic programs | 2013-08-23 | Paper |
Protocols for belief merge: Reaching agreement via communication
Logic Journal of the IGPL | 2013-06-11 | Paper |
Conditional doxastic models: a qualitative approach to dynamic belief revision
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
| A Dynamic-Epistemic Logic for Mobile Structured Agents | 2012-12-17 | Paper |
| A qualitative theory of dynamic interactive belief revision | 2012-11-16 | Paper |
Keep changing your beliefs, aiming for the truth
Erkenntnis | 2012-11-15 | Paper |
The logic of justified belief change, soft evidence and defeasible knowledge
Logic, Language, Information and Computation | 2012-09-21 | Paper |
Quantum logic as a dynamic logic
Synthese | 2011-06-08 | Paper |
Correlated knowledge: an epistemic-logic view on quantum entanglement
International Journal of Theoretical Physics | 2011-01-12 | Paper |
`Knowable' as `known after an announcement'
The Review of Symbolic Logic | 2010-08-13 | Paper |
Keep `hoping' for rationality: a solution to the backward induction paradox
Synthese | 2009-11-04 | Paper |
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Probabilistic dynamic belief revision
Synthese | 2009-06-16 | Paper |
A dynamic-logical perspective on quantum behavior
Studia Logica | 2008-09-02 | Paper |
Epistemic Actions as Resources
Journal Of Logic And Computation | 2007-12-12 | Paper |
Epistemic Actions as Resources
Journal Of Logic And Computation | 2007-12-12 | Paper |
Complete axiomatizations for quantum actions
International Journal of Theoretical Physics | 2007-01-29 | Paper |
Logics for epistemic programs
Synthese | 2006-10-24 | Paper |
LQP: the dynamic logic of quantum information
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
| scientific article; zbMATH DE number 1735870 (Why is no real title available?) | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1497882 (Why is no real title available?) | 2001-03-05 | Paper |
Interpolation and preservation for pebble logics
Journal of Symbolic Logic | 2000-02-15 | Paper |
STS: a structural theory of sets
Logic Journal of the IGPL | 1999-11-01 | Paper |
