| Publication | Date of Publication | Type |
|---|
| 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 | 2021-12-14 | Paper |
A new game equivalence and its modal logic
(available as arXiv preprint) | 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 |
Editorial: Logic and intelligent interaction
Synthese | 2009-11-04 | Paper |
Dynamic update with probabilities
Studia Logica | 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 |
Modelling simultaneous games in dynamic logic
Synthese | 2009-06-16 | Paper |
The many faces of interpolation
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 |
| Inference in action | 2008-07-02 | Paper |
| The tree of knowledge in action: towards a common perspective | 2008-07-01 | Paper |
ERRATUM: "RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES"
International Game Theory Review | 2008-05-20 | Paper |
| Computation as conversation | 2008-04-29 | Paper |
Modal Fixed-Point Logic and Changing Models
Pillars of Computer Science | 2008-03-25 | Paper |
| scientific article; zbMATH DE number 5180951 (Why is no real title available?) | 2007-08-20 | Paper |
RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
International Game Theory Review | 2007-07-24 | Paper |
A new modal Lindström theorem
Logica Universalis | 2007-04-10 | Paper |
Multimodal logics of products of topologies
Studia Logica | 2007-01-29 | Paper |
Logics of communication and change
Information and Computation | 2007-01-22 | Paper |
Modal frame correspondences and fixed-points
Studia Logica | 2006-10-27 | Paper |
| scientific article; zbMATH DE number 5064947 (Why is no real title available?) | 2006-10-17 | Paper |
| Logical patterns in space. Models, simulations, and games | 2006-01-24 | Paper |
| scientific article; zbMATH DE number 5000948 (Why is no real title available?) | 2006-01-24 | Paper |
Minimal predicates, fixed-points, and definability
Journal of Symbolic Logic | 2006-01-16 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Guards, bounds, and generalized semantics
Journal of Logic, Language and Information | 2005-10-04 | Paper |
| What one may come to know | 2005-03-30 | Paper |
| scientific article; zbMATH DE number 2101966 (Why is no real title available?) | 2004-09-22 | Paper |
Reasoning About Space: The Modal Way
Journal Of Logic And Computation | 2004-09-07 | Paper |
| scientific article; zbMATH DE number 2070192 (Why is no real title available?) | 2004-06-08 | Paper |
Logic games are complete for game logics
Studia Logica | 2004-03-15 | Paper |
| scientific article; zbMATH DE number 2051378 (Why is no real title available?) | 2004-03-07 | Paper |
Euclidean hierarchy in modal logic
Studia Logica | 2004-01-14 | Paper |
| scientific article; zbMATH DE number 2019840 (Why is no real title available?) | 2004-01-04 | Paper |
Conditional probability meets update logic
Journal of Logic, Language and Information | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1870430 (Why is no real title available?) | 2003-02-18 | Paper |
| scientific article; zbMATH DE number 1852922 (Why is no real title available?) | 2003-01-29 | Paper |
| scientific article; zbMATH DE number 1852930 (Why is no real title available?) | 2003-01-29 | Paper |
| scientific article; zbMATH DE number 1759365 (Why is no real title available?) | 2002-11-25 | Paper |
Extensive games as process models
Journal of Logic, Language and Information | 2002-08-20 | Paper |
| scientific article; zbMATH DE number 1735873 (Why is no real title available?) | 2002-07-23 | Paper |
The Range of Modal Logic
Journal of Applied Non-Classical Logics | 2002-07-01 | Paper |
| Wider still and wider\(\dots\) Resetting the bounds of logic | 2002-03-13 | Paper |
| Ensemble-based prediction of SAT search behaviour | 2001-09-24 | Paper |
| Quantifiers in the world of types | 2001-07-26 | Paper |
Information transfer across Chu spaces
Logic Journal of the IGPL | 2001-06-21 | Paper |
| scientific article; zbMATH DE number 1523021 (Why is no real title available?) | 2001-03-06 | Paper |
Modal deduction in second-order logic and set theory. II
Studia Logica | 2000-11-21 | Paper |
Program constructions that are safe for bisimulation
Studia Logica | 2000-11-21 | Paper |
| scientific article; zbMATH DE number 1421191 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1406799 (Why is no real title available?) | 2000-02-28 | Paper |
Temporal patterns and modal structure
Logic Journal of the IGPL | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1392306 (Why is no real title available?) | 2000-01-25 | Paper |
Interpolation, preservation, and pebble games
Journal of Symbolic Logic | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1303428 (Why is no real title available?) | 1999-10-28 | Paper |
Modality, bisimulation and interpolation in infinitary logic
Annals of Pure and Applied Logic | 1999-06-24 | Paper |
| scientific article; zbMATH DE number 1222488 (Why is no real title available?) | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1163916 (Why is no real title available?) | 1999-02-22 | Paper |
Modal languages and bounded fragments of predicate logic
Journal of Philosophical Logic | 1998-11-18 | Paper |
| scientific article; zbMATH DE number 1163940 (Why is no real title available?) | 1998-11-01 | Paper |
| scientific article; zbMATH DE number 1163387 (Why is no real title available?) | 1998-09-20 | Paper |
| scientific article; zbMATH DE number 1047510 (Why is no real title available?) | 1997-12-11 | Paper |
| scientific article; zbMATH DE number 1028827 (Why is no real title available?) | 1997-07-08 | Paper |
| scientific article; zbMATH DE number 1028833 (Why is no real title available?) | 1997-07-08 | Paper |
Modal deduction in second-order logic and set theory - I
Journal Of Logic And Computation | 1997-06-10 | Paper |
Modal Foundations for Predicate Logic
Logic Journal of the IGPL | 1997-06-02 | Paper |
| scientific article; zbMATH DE number 986406 (Why is no real title available?) | 1997-03-03 | Paper |
| scientific article; zbMATH DE number 834561 (Why is no real title available?) | 1996-07-01 | Paper |
Directions in generalized quantifier theory
Studia Logica | 1996-07-01 | Paper |
| scientific article; zbMATH DE number 845593 (Why is no real title available?) | 1996-03-07 | Paper |
Logic of transition systems
Journal of Logic, Language and Information | 1995-09-26 | Paper |
| scientific article; zbMATH DE number 753771 (Why is no real title available?) | 1995-06-11 | Paper |
| scientific article; zbMATH DE number 757636 (Why is no real title available?) | 1995-05-23 | Paper |
| scientific article; zbMATH DE number 733404 (Why is no real title available?) | 1995-03-30 | Paper |
Modal Logic, Transition Systems and Processes
Journal Of Logic And Computation | 1994-12-07 | Paper |
| scientific article; zbMATH DE number 589737 (Why is no real title available?) | 1994-06-15 | Paper |
| scientific article; zbMATH DE number 440120 (Why is no real title available?) | 1993-12-09 | Paper |
The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
Synthese Library | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 86272 (Why is no real title available?) | 1993-01-13 | Paper |
| scientific article; zbMATH DE number 42734 (Why is no real title available?) | 1992-09-17 | Paper |
Language in action. Categories, lambdas and dynamic logic
Studies in Logic and the Foundations of Mathematics | 1992-09-17 | Paper |
Situations, language and logic
Studies in Linguistics and Philosophy | 1992-09-17 | Paper |
GENERAL DYNAMICS
Theoretical Linguistics | 1992-06-28 | Paper |
Language in action
Journal of Philosophical Logic | 1992-06-26 | Paper |
Categorial grammar and type theory
Journal of Philosophical Logic | 1990-01-01 | Paper |
Notes on modal definability
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4135922 (Why is no real title available?) | 1989-01-01 | Paper |
Logical constants across varying types
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4119593 (Why is no real title available?) | 1989-01-01 | Paper |
Polyadic quantifiers
Linguistics and Philosophy | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4137754 (Why is no real title available?) | 1988-01-01 | Paper |
A note on Jónsson's theorem
Algebra Universalis | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4208062 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4162855 (Why is no real title available?) | 1987-01-01 | Paper |
LOGICAL SYNTAX
Theoretical Linguistics | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3959383 (Why is no real title available?) | 1986-01-01 | Paper |
Tenses in Real Time
Mathematical Logic Quarterly | 1986-01-01 | Paper |
Essays in logical semantics
Studies in Linguistics and Philosophy | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4012582 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3939332 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4041866 (Why is no real title available?) | 1985-01-01 | Paper |
The variety of consequence, according to Bolzano
Studia Logica | 1985-01-01 | Paper |
Tense logic and time
Notre Dame Journal of Formal Logic | 1984-01-01 | Paper |
Foundations of conditional logic
Journal of Philosophical Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3898864 (Why is no real title available?) | 1984-01-01 | Paper |
Analytic/synthetic: Sharpening a philosophical tool
Theoria | 1984-01-01 | Paper |
Possible worlds semantics: a research program that cannot fail?
Studia Logica | 1984-01-01 | Paper |
Questions about quantifiers
Journal of Symbolic Logic | 1984-01-01 | Paper |
Logical semantics as an empirical science
Studia Logica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3914297 (Why is no real title available?) | 1983-01-01 | Paper |
Determiners and logic
Linguistics and Philosophy | 1983-01-01 | Paper |
Hallden-completeness by gluing of Kripke frames
Notre Dame Journal of Formal Logic | 1983-01-01 | Paper |
The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
Synthese Library | 1983-01-01 | Paper |
The logical study of science
Synthese | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3726296 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3747077 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3754650 (Why is no real title available?) | 1981-01-01 | Paper |
Some kinds of modal completeness
Studia Logica | 1980-01-01 | Paper |
Syntactic aspects of modal incompleteness theorems
Theoria | 1979-01-01 | Paper |
Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
Synthese | 1979-01-01 | Paper |
Canonical modal logics and ultrafilter extensions
Journal of Symbolic Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3634224 (Why is no real title available?) | 1979-01-01 | Paper |
Four paradoxes
Journal of Philosophical Logic | 1978-01-01 | Paper |
Ramsey eliminability
Studia Logica | 1978-01-01 | Paper |
Transitivity follows from Dummett's axiom
Theoria | 1978-01-01 | Paper |
Two simple incomplete modal logics
Theoria | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3608000 (Why is no real title available?) | 1977-01-01 | Paper |
Modal reduction principles
Journal of Symbolic Logic | 1976-01-01 | Paper |
Modal formulas are either elementary or not ΣΔ-elementary
Journal of Symbolic Logic | 1976-01-01 | Paper |
A set-theoretical equivalent of the prime ideal theorem for Boolean algebras
Fundamenta Mathematicae | 1975-01-01 | Paper |
A note on modal formulae and relational properties
Journal of Symbolic Logic | 1975-01-01 | Paper |
Hintikka on analyticity
Journal of Philosophical Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3482302 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3446883 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3400871 (Why is no real title available?) | 1973-01-01 | Paper |
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 |
