| Publication | Date of Publication | Type |
|---|
Dependence Logics in Temporal Settings
(available as arXiv preprint) | N/A | Paper |
Knowability as continuity: a topological account of informational dependence
(available as arXiv preprint) | N/A | Paper |
| Deontic logic and changing preferences | 2026-03-02 | Paper |
| Modern faces of filtration | 2025-10-24 | Paper |
| Preface | 2025-06-23 | Paper |
| Relational patterns, partiality, and set lifting in modal semantics | 2025-02-05 | Paper |
| Compositionality in context | 2024-10-01 | Paper |
| An abstract look at the fixed-point theorem for provability logic | 2024-10-01 | Paper |
| Graph games and logic design | 2024-09-11 | Paper |
Where is logic going, and should it?
Topoi | 2024-08-15 | Paper |
INTERLEAVING LOGIC AND COUNTING
The Bulletin of Symbolic Logic | 2024-02-23 | Paper |
The logic of conditionals on outback trails
Logic Journal of the IGPL | 2024-02-20 | Paper |
Modal structures in groups and vector spaces
Journal Of Logic And Computation | 2024-02-08 | Paper |
Local dependence and guarding
(available as arXiv preprint) | 2023-03-24 | Paper |
| A note on the submodel preservation property in fragments of first-order logic | 2023-03-23 | Paper |
Local Dependence and Guarding
(available as arXiv preprint) | 2022-06-13 | Paper |
THE MODAL LOGIC OF STEPWISE REMOVAL
The Review of Symbolic Logic | 2022-03-18 | Paper |
| Semantic Perspectives in Logic | 2022-02-25 | Paper |
A new game equivalence and its modal logic
(available as arXiv preprint) | 2021-12-14 | Paper |
| A new game equivalence and its modal logic | 2021-12-14 | Paper |
Generalized Quantifiers Meet Modal Neighborhood Semantics
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
New Logical Perspectives on Monotonicity
1530.03136 | 2021-12-08 | Paper |
A simple logic of functional dependence
Journal of Philosophical Logic | 2021-11-04 | Paper |
A Simple Logic of Functional Dependence
(available as arXiv preprint) | 2021-03-27 | Paper |
The Modal Logic of Stepwise Removal
(available as arXiv preprint) | 2021-03-08 | Paper |
| Vistas from a drop of water | 2020-12-18 | Paper |
| In memoriam Anne Sjerp Troelstra (1939--2019). Creating order in a vast and diverse area | 2020-11-12 | Paper |
Deontic logic and changing preferences
Handbook of Philosophical Logic | 2020-08-10 | Paper |
Tracking information
Outstanding Contributions to Logic | 2020-08-07 | Paper |
Talking about knowledge
Outstanding Contributions to Logic | 2020-07-27 | Paper |
A propositional dynamic logic for instantial neighborhood semantics
Studia Logica | 2019-09-03 | Paper |
A new game equivalence, its logic and algebra
Journal of Philosophical Logic | 2019-09-03 | Paper |
| Tales from an old manuscript | 2019-07-24 | Paper |
Implicit and explicit stances in logic
Journal of Philosophical Logic | 2019-06-28 | Paper |
| Logic, rational agency, and intelligent interaction | 2019-04-23 | Paper |
| Oscillations, logic, and dynamical systems | 2019-02-07 | Paper |
Modal logics of sabotage revisited
Journal Of Logic And Computation | 2019-01-31 | Paper |
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
Journal Of Logic And Computation | 2019-01-31 | Paper |
| scientific article; zbMATH DE number 6954646 (Why is no real title available?) | 2018-10-15 | Paper |
Computation as social agency: what, how and who
Information and Computation | 2018-06-14 | Paper |
A bimodal perspective on possibility semantics
Journal Of Logic And Computation | 2018-02-13 | Paper |
Constructive agents
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
| `Games that make sense': logic, language, and multi-agent interaction | 2018-01-03 | Paper |
| A propositional dynamic logic for instantial neighborhood models | 2017-11-22 | Paper |
On a new semantics for first-order predicate logic
Journal of Philosophical Logic | 2017-07-19 | Paper |
Instantial neighbourhood logic
The Review of Symbolic Logic | 2017-05-31 | Paper |
Fanning the flames
Nieuw Archief voor Wiskunde. Vijfde Serie | 2016-09-07 | Paper |
Sabotage modal logic: some model and proof theoretic aspects
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Symbolic Model Checking for Dynamic Epistemic Logic
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Changing a Semantics: Opportunism or Courage?
Studies in Universal Logic | 2015-11-27 | Paper |
Toward a theory of play: a logical perspective on games and interaction
Games | 2015-05-19 | Paper |
Logic games: from tools to models of interaction
Proof, Computation and Agency | 2015-04-17 | Paper |
Two logical faces of belief revision
Outstanding Contributions to Logic | 2015-04-10 | Paper |
Natural language and logic of agency
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Modeling reasoning in a social setting
Studia Logica | 2014-06-19 | Paper |
| scientific article; zbMATH DE number 6302897 (Why is no real title available?) | 2014-06-11 | Paper |
| Evidence logic: a new look at neighborhood structures | 2014-06-11 | Paper |
| scientific article; zbMATH DE number 6297883 (Why is no real title available?) | 2014-05-22 | Paper |
| `Rolling down the river': Saul Kripke and the course of modal logic | 2014-05-19 | Paper |
| Logic in games | 2014-03-24 | Paper |
Evidence and plausibility in neighborhood structures
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
The logic of empirical theories revisited
Synthese | 2013-11-25 | Paper |
| scientific article; zbMATH DE number 6215728 (Why is no real title available?) | 2013-10-16 | Paper |
Reasoning about strategies
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Toward a dynamic logic of questions
Journal of Philosophical Logic | 2012-12-04 | Paper |
Sahlqvist correspondence for modal mu-calculus
Studia Logica | 2012-10-01 | Paper |
Belief update as social choice
Dynamic Formal Epistemology | 2012-08-23 | Paper |
Question-answer games
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Games in dynamic-epistemic logic
Bulletin of Economic Research | 2012-02-07 | Paper |
| Logical dynamics of information and interaction | 2012-02-02 | Paper |
Dynamic logics of evidence-based beliefs
Studia Logica | 2011-11-23 | Paper |
Logical dynamics of evidence
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
| scientific article; zbMATH DE number 5910643 (Why is no real title available?) | 2011-06-21 | Paper |
| Logic, mathematics, and general agency | 2011-06-21 | Paper |
McCarthy variations in a modal key
Artificial Intelligence | 2011-06-17 | Paper |
Introduction to the special issue: Logic and philosophy of science in the footsteps of E. W. Beth
Synthese | 2011-06-08 | Paper |
| Frame correspondences in modal predicate logic | 2011-05-31 | Paper |
| Man muss immer umkehren! | 2011-05-31 | Paper |
| scientific article; zbMATH DE number 5896737 (Why is no real title available?) | 2011-05-18 | Paper |
The dynamics of awareness
Synthese | 2011-02-25 | Paper |
Preface to the special issue: Temporal logics of agency
Journal of Logic, Language and Information | 2011-01-07 | Paper |
Game solution, epistemic dynamics and fixed-point logics
Fundamenta Informaticae | 2011-01-03 | Paper |
Deontics = Betterness + Priority
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Logic between expressivity and complexity
Automated Reasoning | 2010-09-14 | Paper |
Bridges between dynamic doxastic and doxastic temporal logics
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Toward a dynamic logic of questions
Logic, Rationality, and Interaction | 2010-01-07 | Paper |
Dynamic logic for belief revision
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Dynamic logic of preference upgrade
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
A modal walk through space
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Merging frameworks for interaction
Journal of Philosophical Logic | 2009-11-16 | Paper |
Modal logic and invariance
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Dynamic update with probabilities
Studia Logica | 2009-11-04 | Paper |
Editorial: Logic and intelligent interaction
Synthese | 2009-11-04 | Paper |
Lindstrom theorems for fragments of first-order logic
Logical Methods in Computer Science | 2009-08-20 | Paper |
The information in intuitionistic logic
Synthese | 2009-08-11 | Paper |
Everything else being equal: a modal logic for ceteris paribus preferences
Journal of Philosophical Logic | 2009-07-13 | Paper |
The many faces of interpolation
Synthese | 2009-06-16 | Paper |
Modelling simultaneous games in dynamic logic
Synthese | 2009-06-16 | Paper |
| Logical dynamics meets logical pluralism? | 2009-05-27 | Paper |
Decisions, Actions, and Games: A Logical Perspective
Logic and Its Applications | 2009-02-12 | Paper |
Logic and reasoning: do the facts matter?
Studia Logica | 2008-07-30 | Paper |
