| 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? | 2024-08-15 | Paper |
| INTERLEAVING LOGIC AND COUNTING | 2024-02-23 | Paper |
| The logic of conditionals on outback trails | 2024-02-20 | Paper |
| Modal structures in groups and vector spaces | 2024-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884942 | 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 | 2022-06-13 | Paper |
| THE MODAL LOGIC OF STEPWISE REMOVAL | 2022-03-18 | Paper |
| Semantic Perspectives in Logic | 2022-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5016799 | 2021-12-14 | Paper |
| Generalized Quantifiers Meet Modal Neighborhood Semantics | 2021-12-10 | Paper |
| New Logical Perspectives on Monotonicity | 2021-12-08 | Paper |
| A simple logic of functional dependence | 2021-11-04 | Paper |
| A Simple Logic of Functional Dependence | 2021-03-27 | Paper |
| The Modal Logic of Stepwise Removal | 2021-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5141773 | 2020-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5132769 | 2020-11-12 | Paper |
| Deontic Logic and Changing Preferences | 2020-08-10 | Paper |
| Tracking Information | 2020-08-07 | Paper |
| Talking About Knowledge | 2020-07-27 | Paper |
| A propositional dynamic logic for instantial neighborhood semantics | 2019-09-03 | Paper |
| A new game equivalence, its logic and algebra | 2019-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224681 | 2019-07-24 | Paper |
| Implicit and explicit stances in logic | 2019-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4630800 | 2019-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4619872 | 2019-02-07 | Paper |
| Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* | 2019-01-31 | Paper |
| Modal logics of sabotage revisited | 2019-01-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4689308 | 2018-10-15 | Paper |
| Computation as social agency: what, how and who | 2018-06-14 | Paper |
| A bimodal perspective on possibility semantics | 2018-02-13 | Paper |
| Constructive agents | 2018-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4599511 | 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 | 2017-07-19 | Paper |
| INSTANTIAL NEIGHBOURHOOD LOGIC | 2017-05-31 | Paper |
| Fanning the flames | 2016-09-07 | Paper |
| Sabotage Modal Logic: Some Model and Proof Theoretic Aspects | 2015-12-17 | Paper |
| Symbolic Model Checking for Dynamic Epistemic Logic | 2015-12-17 | Paper |
| Changing a Semantics: Opportunism or Courage? | 2015-11-27 | Paper |
| Toward a theory of play: a logical perspective on games and interaction | 2015-05-19 | Paper |
| Logic Games: From Tools to Models of Interaction | 2015-04-17 | Paper |
| Two Logical Faces of Belief Revision | 2015-04-10 | Paper |
| Natural language and logic of agency | 2015-02-09 | Paper |
| Modeling reasoning in a social setting | 2014-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419874 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5419873 | 2014-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5417809 | 2014-05-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5416155 | 2014-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5404483 | 2014-03-24 | Paper |
| Evidence and plausibility in neighborhood structures | 2014-01-13 | Paper |
| The logic of empirical theories revisited | 2013-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2853718 | 2013-10-16 | Paper |
| Reasoning about Strategies | 2013-05-28 | Paper |
| Toward a dynamic logic of questions | 2012-12-04 | Paper |
| Sahlqvist correspondence for modal mu-calculus | 2012-10-01 | Paper |
| Belief Update as Social Choice | 2012-08-23 | Paper |
| Question–answer games | 2012-07-17 | Paper |
| Games in Dynamic-Epistemic Logic | 2012-02-07 | Paper |
| Logical Dynamics of Information and Interaction | 2012-02-02 | Paper |
| Dynamic logics of evidence-based beliefs | 2011-11-23 | Paper |
| Logical Dynamics of Evidence | 2011-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007288 | 2011-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007247 | 2011-06-21 | Paper |
| McCarthy variations in a modal key | 2011-06-17 | Paper |
| Introduction to the special issue: Logic and philosophy of science in the footsteps of E. W. Beth | 2011-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001111 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3003825 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3000098 | 2011-05-18 | Paper |
| The dynamics of awareness | 2011-02-25 | Paper |
| Preface to the special issue: Temporal logics of agency | 2011-01-07 | Paper |
| Game Solution, Epistemic Dynamics and Fixed-Point Logics | 2011-01-03 | Paper |
| Deontics = Betterness + Priority | 2010-09-29 | Paper |
| Logic between Expressivity and Complexity | 2010-09-14 | Paper |
| Bridges between Dynamic Doxastic and Doxastic Temporal Logics | 2010-08-31 | Paper |
| Toward a Dynamic Logic of Questions | 2010-01-07 | Paper |
| Dynamic logic for belief revision | 2009-11-30 | Paper |
| Dynamic logic of preference upgrade | 2009-11-30 | Paper |
| A ModalWalk Through Space | 2009-11-30 | Paper |
| Merging frameworks for interaction | 2009-11-16 | Paper |
| Modal logic and invariance | 2009-11-11 | Paper |
| Dynamic update with probabilities | 2009-11-04 | Paper |
| Editorial: Logic and intelligent interaction | 2009-11-04 | Paper |
| Lindstrom theorems for fragments of first-order logic | 2009-08-20 | Paper |
| The information in intuitionistic logic | 2009-08-11 | Paper |
| Everything else being equal: a modal logic for ceteris paribus preferences | 2009-07-13 | Paper |
| Modelling simultaneous games in dynamic logic | 2009-06-16 | Paper |
| The many faces of interpolation | 2009-06-16 | Paper |
| Logical dynamics meets logical pluralism? | 2009-05-27 | Paper |
| Decisions, Actions, and Games: A Logical Perspective | 2009-02-12 | Paper |
| Logic and reasoning: do the facts matter? | 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" | 2008-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384967 | 2008-04-29 | Paper |
| Modal Fixed-Point Logic and Changing Models | 2008-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5755178 | 2007-08-20 | Paper |
| RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES | 2007-07-24 | Paper |
| A new modal Lindström theorem | 2007-04-10 | Paper |
| Multimodal logics of products of topologies | 2007-01-29 | Paper |
| Logics of communication and change | 2007-01-22 | Paper |
| Modal frame correspondences and fixed-points | 2006-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5494230 | 2006-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367295 | 2006-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3367284 | 2006-01-24 | Paper |
| Minimal predicates, fixed-points, and definability | 2006-01-16 | Paper |
| Mechanizing Mathematical Reasoning | 2006-01-10 | Paper |
| Guards, bounds, and generalized semantics | 2005-10-04 | Paper |
| What one may come to know | 2005-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817192 | 2004-09-22 | Paper |
| Reasoning About Space: The Modal Way | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463928 | 2004-06-08 | Paper |
| Logic games are complete for game logics | 2004-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453634 | 2004-03-07 | Paper |
| Euclidean hierarchy in modal logic | 2004-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440534 | 2004-01-04 | Paper |
| Conditional probability meets update logic | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793042 | 2003-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789452 | 2003-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789460 | 2003-01-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536312 | 2002-11-25 | Paper |
| Extensive games as process models | 2002-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329234 | 2002-07-23 | Paper |
| The Range of Modal Logic | 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 | 2001-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511288 | 2001-03-06 | Paper |
| Program constructions that are safe for bisimulation | 2000-11-21 | Paper |
| Modal deduction in second-order logic and set theory. II | 2000-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946220 | 2000-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940715 | 2000-02-28 | Paper |
| Temporal patterns and modal structure | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936145 | 2000-01-25 | Paper |
| Interpolation, preservation, and pebble games | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250037 | 1999-10-28 | Paper |
| Modality, bisimulation and interpolation in infinitary logic | 1999-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218019 | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395539 | 1999-02-22 | Paper |
| Modal languages and bounded fragments of predicate logic | 1998-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395564 | 1998-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4394916 | 1998-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349287 | 1997-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342090 | 1997-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342096 | 1997-07-08 | Paper |
| Modal deduction in second-order logic and set theory - I | 1997-06-10 | Paper |
| Modal Foundations for Predicate Logic | 1997-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3122692 | 1997-03-03 | Paper |
| Directions in generalized quantifier theory | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4860647 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865610 | 1996-03-07 | Paper |
| Logic of transition systems | 1995-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4698604 | 1995-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4833768 | 1995-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325792 | 1995-03-30 | Paper |
| Modal Logic, Transition Systems and Processes | 1994-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4295869 | 1994-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142029 | 1993-12-09 | Paper |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4015484 | 1993-01-13 | Paper |
| Language in action. Categories, lambdas and dynamic logic | 1992-09-17 | Paper |
| Situations, language and logic | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3992551 | 1992-09-17 | Paper |
| GENERAL DYNAMICS | 1992-06-28 | Paper |
| Language in action | 1992-06-26 | Paper |
| Categorial grammar and type theory | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3469091 | 1989-01-01 | Paper |
| Logical constants across varying types | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733377 | 1989-01-01 | Paper |
| Polyadic quantifiers | 1989-01-01 | Paper |
| Notes on modal definability | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470458 | 1988-01-01 | Paper |
| A note on Jónsson's theorem | 1988-01-01 | Paper |
| LOGICAL SYNTAX | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3356297 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3489980 | 1987-01-01 | Paper |
| Essays in logical semantics | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3762292 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727960 | 1986-01-01 | Paper |
| Tenses in Real Time | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3781066 | 1985-01-01 | Paper |
| The variety of consequence, according to Bolzano | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3712318 | 1985-01-01 | Paper |
| Possible worlds semantics: a research program that cannot fail? | 1984-01-01 | Paper |
| Questions about quantifiers | 1984-01-01 | Paper |
| Tense logic and time | 1984-01-01 | Paper |
| Foundations of conditional logic | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3677745 | 1984-01-01 | Paper |
| Analytic/synthetic: Sharpening a philosophical tool | 1984-01-01 | Paper |
| Determiners and logic | 1983-01-01 | Paper |
| Hallden-completeness by gluing of Kripke frames | 1983-01-01 | Paper |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse | 1983-01-01 | Paper |
| Logical semantics as an empirical science | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3690796 | 1983-01-01 | Paper |
| The logical study of science | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914951 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3931254 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3937362 | 1981-01-01 | Paper |
| Some kinds of modal completeness | 1980-01-01 | Paper |
| Canonical modal logics and ultrafilter extensions | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194934 | 1979-01-01 | Paper |
| Syntactic aspects of modal incompleteness theorems | 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 | 1979-01-01 | Paper |
| Four paradoxes | 1978-01-01 | Paper |
| Ramsey eliminability | 1978-01-01 | Paper |
| Transitivity follows from Dummett's axiom | 1978-01-01 | Paper |
| Two simple incomplete modal logics | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173346 | 1977-01-01 | Paper |
| Modal formulas are either elementary or not ΣΔ-elementary | 1976-01-01 | Paper |
| Modal reduction principles | 1976-01-01 | Paper |
| A note on modal formulae and relational properties | 1975-01-01 | Paper |
| A set-theoretical equivalent of the prime ideal theorem for Boolean algebras | 1975-01-01 | Paper |
| Hintikka on analyticity | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065514 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4770958 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668786 | 1973-01-01 | Paper |
| Dependence Logics in Temporal Settings | N/A | Paper |
| Knowability as continuity: a topological account of informational dependence | N/A | Paper |
