| Publication | Date of Publication | Type |
|---|
The logic of fast and slow thinking
Erkenntnis | 2024-12-13 | 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 |
| Causal agency and responsibility: a refinement of STIT logic | 2022-10-25 | Paper |
Further Steps Towards a Logic of Polarization in Social Networks
Lecture Notes in Computer Science | 2022-08-30 | Paper |
Non-strict interventionism: the case of right-nested counterfactuals
Journal of Logic, Language and Information | 2022-07-15 | Paper |
| Social bot detection as a temporal logic model checking problem | 2022-06-24 | Paper |
Modal Logics and Group Polarization
Journal Of Logic And Computation | 2022-01-03 | Paper |
| scientific article; zbMATH DE number 7450019 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7450019 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
| Argument-based belief in topological structures | 2021-12-14 | Paper |
Argument-based belief in topological structures
(available as arXiv preprint) | 2021-12-14 | Paper |
| On the solvability of inductive problems: a study in epistemic topology | 2021-12-07 | Paper |
On the solvability of inductive problems: a study in epistemic topology
(available as arXiv preprint) | 2021-12-07 | Paper |
| Thinking about causation: a causal language with epistemic operators | 2021-12-01 | Paper |
Thinking about causation: a causal language with epistemic operators
(available as arXiv preprint) | 2021-12-01 | Paper |
A complete axiomatisation for the logic of lattice effect algebras
International Journal of Theoretical Physics | 2021-11-05 | Paper |
| Learning What Others Know | 2021-09-15 | Paper |
| A logical analysis of the interplay between social influence and friendship selection | 2020-07-08 | Paper |
A closeness- and priority-based logical study of social network creation
Journal of Logic, Language and Information | 2020-05-27 | Paper |
| Analyzing echo chambers: a logic of strong and weak ties | 2020-01-30 | Paper |
| Bipolar argumentation frameworks, modal logic and semantic paradoxes | 2020-01-30 | Paper |
| A logical and empirical study of right-nested counterfactuals | 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 |
| A logical perspective on social group creation | 2019-07-24 | Paper |
Dynamic epistemic logics of diffusion and prediction in social networks
Studia Logica | 2019-07-03 | Paper |
A logical study of group-size based social network creation
Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
A topological approach to full belief
Journal of Philosophical Logic | 2019-06-17 | Paper |
| Beliefs based on evidence and argumentation | 2018-10-18 | Paper |
| The effort of reasoning: modelling the inference steps of boundedly rational agents | 2018-10-18 | Paper |
Beliefs supported by binary arguments
Journal of Applied Non-Classical Logics | 2018-10-09 | Paper |
A Complete Axiomatisation for the Logic of Lattice Effect Algebras
(available as arXiv preprint) | 2018-08-05 | 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 |
| The creation and change of social networks: a logical study based on group size | 2018-04-12 | Paper |
Modeling correlated information change: from conditional beliefs to quantum conditionals
Soft Computing | 2018-02-27 | Paper |
A logical analysis of quantum voting protocols
International Journal of Theoretical Physics | 2018-02-05 | Paper |
| The logic of conditional doxastic actions | 2018-01-03 | Paper |
| How to make friends: a logical approach to social group creation | 2017-11-22 | 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 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 |
| Logic and quantum physics | 2013-10-04 | Paper |
Quantum Probabilistic Dyadic Second-Order Logic
Logic, Language, Information, and Computation | 2013-09-17 | 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 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 |
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 |
The modes of physical properties in the logical foundations of physics
Logic and Logical Philosophy | 2007-09-24 | Paper |
In defense of operational quantum logic
Logic and Logical Philosophy | 2007-09-24 | Paper |
Complete axiomatizations for quantum actions
International Journal of Theoretical Physics | 2007-01-29 | Paper |
LQP: the dynamic logic of quantum information
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
scientific article; zbMATH DE number 2236620 (Why is no real title available?)
(available as arXiv preprint) | 2005-12-08 | Paper |
The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes]
International Journal of Theoretical Physics | 2005-03-15 | Paper |
| scientific article; zbMATH DE number 2097001 (Why is no real title available?) | 2004-09-06 | Paper |
The liar-paradox in a quantum mechanical perspective
Foundations of Science | 2003-01-13 | Paper |
A quantum structure description of the liar paradox
International Journal of Theoretical Physics | 2002-08-21 | Paper |
A logical description for perfect measurements
International Journal of Theoretical Physics | 2001-02-25 | Paper |
Logic meets Wigner's Friend (and their Friends)
(available as arXiv preprint) | N/A | Paper |
