| Publication | Date of Publication | Type |
|---|
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 |
scientific article; zbMATH DE number 7450019 (Why is no real title available?)
| 2021-12-20 | 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
| 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
| 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 |
Beliefs and evidence in justification models
| 2018-04-23 | Paper |
To know is to know the value of a variable
| 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
| 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 |
Logical models of informational cascades
| 2015-01-22 | 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 |
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 |
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 |
Dependence Logics in Temporal Settings
| N/A | Paper |
Logic meets Wigner's Friend (and their Friends)
| N/A | Paper |
Knowability as continuity: a topological account of informational dependence
| N/A | Paper |
