| Publication | Date of Publication | Type |
|---|
Dynamic logics of diffusion and link changes on social networks
Studia Logica | 2025-10-14 | Paper |
| How complex is the strong admissibility semantics for abstract dialectical frameworks? | 2025-08-26 | Paper |
ToMA: Computational theory of mind with abstractions for hybrid intelligence
The Journal of Artificial Intelligence Research (JAIR) | 2025-03-11 | Paper |
| Predictive theory of mind models based on public announcement logic | 2024-05-29 | Paper |
Solutions to the knower paradox in the light of Haack's criteria
Journal of Philosophical Logic | 2023-08-02 | Paper |
| scientific article; zbMATH DE number 7668088 (Why is no real title available?) | 2023-03-24 | Paper |
Estimating the use of higher-order theory of mind using computational agents
The B.E. Journal of Theoretical Economics | 2022-11-22 | 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 |
| What drives people's choices in turn-taking games, if not game-theoretic rationality? | 2021-12-14 | Paper |
What drives people's choices in turn-taking games, if not game-theoretic rationality?
(available as arXiv preprint) | 2021-12-14 | Paper |
| Do players reason by forward induction in dynamic perfect information games? | 2021-12-07 | Paper |
Do players reason by forward induction in dynamic perfect information games?
(available as arXiv preprint) | 2021-12-07 | Paper |
| A discussion game for the grounded semantics of abstract dialectical frameworks | 2021-01-21 | Paper |
Studying strategies and types of players: experiments, logics and cognitive models
Synthese | 2021-01-18 | Paper |
| Discussion games for preferred semantics of abstract dialectical frameworks | 2020-02-20 | Paper |
An automated method for building cognitive models for turn-based games from a strategy logic
Games | 2018-12-10 | Paper |
Evolution of altruistic punishment in heterogeneous populations
Journal of Theoretical Biology | 2018-09-25 | Paper |
Human strategic reasoning in dynamic games: experiments, logics, cognitive models
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Hidden protocols: modifying our expectations in an evolving world
Artificial Intelligence | 2015-08-27 | Paper |
Logic and complexity in cognitive science
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Strategic reasoning: building cognitive models from logical formulas
Journal of Logic, Language and Information | 2015-02-09 | Paper |
How much does it help to know what she knows you know? An agent-based simulation study
Artificial Intelligence | 2014-04-17 | Paper |
The rules of the game are changing: Scientific impact factors and publication strategies among logicians
Journal Of Logic And Computation | 2011-06-10 | Paper |
| scientific article; zbMATH DE number 5896226 (Why is no real title available?) | 2011-05-18 | Paper |
Intermediate logics and the de Jongh property
Archive for Mathematical Logic | 2011-03-02 | Paper |
A communication algorithm for teamwork in multi-agent environments
Journal of Applied Non-Classical Logics | 2010-03-10 | Paper |
Logic and social cognition. The facts matter, and so do computational models
Journal of Philosophical Logic | 2010-01-15 | Paper |
Erratum to: ``Strong completeness and limited canonicity for PDL''
Journal of Logic, Language and Information | 2009-05-04 | Paper |
Children's application of theory of mind in reasoning and language
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Strong completeness and limited canonicity for PDL
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Sum and Product in Dynamic Epistemic Logic
Journal Of Logic And Computation | 2008-08-15 | Paper |
| scientific article; zbMATH DE number 5129607 (Why is no real title available?) | 2007-02-26 | Paper |
Hybrid Logics with Infinitary Proof Systems
Journal Of Logic And Computation | 2006-07-03 | Paper |
| scientific article; zbMATH DE number 2222692 (Why is no real title available?) | 2005-11-03 | Paper |
| scientific article; zbMATH DE number 2212572 (Why is no real title available?) | 2005-10-07 | Paper |
| scientific article; zbMATH DE number 2182500 (Why is no real title available?) | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 2090872 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2080350 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1999226 (Why is no real title available?) | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 2051900 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 1836055 (Why is no real title available?) | 2002-12-10 | Paper |
| scientific article; zbMATH DE number 1754695 (Why is no real title available?) | 2002-06-12 | Paper |
Creating collective intention through dialogue
Logic Journal of the IGPL | 2001-05-16 | Paper |
| scientific article; zbMATH DE number 806756 (Why is no real title available?) | 1996-05-02 | Paper |
A qualitative fuzzy possibilistic logic
International Journal of Approximate Reasoning | 1995-08-27 | Paper |
A small reflection principle for bounded arithmetic
Journal of Symbolic Logic | 1995-06-13 | Paper |
| scientific article; zbMATH DE number 440488 (Why is no real title available?) | 1993-11-28 | Paper |
On the provability logic of bounded arithmetic
Annals of Pure and Applied Logic | 1993-09-22 | Paper |
