| Publication | Date of Publication | Type |
|---|
| Partial model checking and partial model synthesis in LTL using a tableau-based approach | 2024-10-21 | Paper |
| Refutation systems: an overview and some applications to philosophical logics | 2024-09-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6183282 | 2024-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6183283 | 2024-01-26 | Paper |
| Temporal Logics | 2023-07-31 | Paper |
| Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} | 2023-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5878374 | 2023-02-21 | Paper |
| CTL with finitely bounded semantics | 2023-02-03 | Paper |
| The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games | 2022-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104709 | 2022-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104546 | 2022-09-14 | Paper |
| A logic for conditional local strategic reasoning | 2022-07-15 | Paper |
| Knowledge-based strategies for multi-agent teams playing against nature | 2022-07-08 | Paper |
| Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ | 2022-02-04 | Paper |
| APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES | 2021-12-09 | Paper |
| Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report) | 2021-08-14 | Paper |
| Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games. | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3388742 | 2021-05-06 | Paper |
| A Logic for Conditional Local Strategic Reasoning | 2021-02-11 | Paper |
| Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking | 2021-02-08 | Paper |
| Rational coordination with no communication or conventions | 2020-12-15 | Paper |
| Towards a logic for conditional local strategic reasoning | 2020-01-30 | Paper |
| Alternating-time temporal logic ATL with finitely bounded semantics | 2019-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224578 | 2019-07-24 | Paper |
| LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE | 2018-10-25 | Paper |
| Game-Theoretic Semantics for Alternating-Time Temporal Logic | 2018-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636296 | 2018-04-23 | Paper |
| Rational coordination with no communication or conventions | 2017-11-22 | Paper |
| Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL + | 2017-07-12 | Paper |
| Book review of: D. M. Gabbay, Reactive Kripke semantics | 2017-05-15 | Paper |
| Logic as a tool. A concise guide to logical reasoning | 2016-10-27 | Paper |
| Two-sorted point-interval temporal logics | 2016-10-07 | Paper |
| Logics for Propositional Determinacy and Independence | 2016-09-23 | Paper |
| Logics for Reasoning About Strategic Abilities in Multi-player Games | 2016-08-30 | Paper |
| Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings | 2016-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3177929 | 2016-07-08 | Paper |
| Temporal logics in computer science. Finite-state systems | 2016-05-11 | Paper |
| Two-player preplay negotiation games with conditional offers | 2016-04-27 | Paper |
| A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases | 2016-04-07 | Paper |
| Secure aggregation of distributed information: how a team of agents can safely share secrets in front of a spy | 2015-12-07 | Paper |
| Tableau-based decision procedures for logics of strategic ability in multiagent systems | 2015-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5253278 | 2015-06-04 | Paper |
| Temporal Aspects of the Dynamics of Knowledge | 2015-05-11 | Paper |
| Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge | 2015-01-06 | Paper |
| Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+ | 2014-09-26 | Paper |
| The dark side of interval temporal logic: marking the undecidability border | 2014-07-11 | Paper |
| Logic for physical space. From antiquity to present day | 2013-11-25 | Paper |
| An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers | 2013-11-06 | Paper |
| Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge | 2013-06-11 | Paper |
| Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders | 2013-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904145 | 2013-01-28 | Paper |
| Model-checking CTL* over flat Presburger counter systems | 2012-07-17 | Paper |
| Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions | 2011-08-26 | Paper |
| Metric propositional neighborhood logics: expressiveness, decidability, and undecidability | 2011-05-11 | Paper |
| Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA | 2011-03-22 | Paper |
| Classes and theories of trees associated with a class of linear orders | 2011-03-07 | Paper |
| A general tableau method for propositional interval temporal logics | 2010-03-09 | Paper |
| Tableaux for logics of subinterval structures over dense orderings | 2010-02-19 | Paper |
| Modal Logics for Parallelism, Orthogonality, and Affine Geometries | 2009-11-30 | Paper |
| Symbolic Model Checking of Tense Logics on Rational Kripke Models | 2009-11-12 | Paper |
| IV. Semantic extensions of SQEMA | 2009-11-11 | Paper |
| A Road Map of Interval Temporal Logics and Duration Calculi | 2009-11-11 | Paper |
| A Road Map of Interval Temporal Logics and Duration Calculi | 2009-11-11 | Paper |
| Algorithmic correspondence and completeness in modal logic. III. Extensions of the algorithm SQEMA with substitutions | 2009-08-03 | Paper |
| Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic | 2009-02-24 | Paper |
| Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification | 2009-01-27 | Paper |
| Towards a Model-Checker for Counter Systems | 2008-09-04 | Paper |
| Tableau Systems for Logics of Subinterval Structures over Dense Orderings | 2008-01-04 | Paper |
| On Decidability and Expressiveness of Propositional Interval Neighborhood Logics | 2008-01-04 | Paper |
| Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA | 2007-10-11 | Paper |
| From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability | 2007-05-18 | Paper |
| Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA | 2007-04-13 | Paper |
| Comparing semantics of logics for multi-agent systems | 2006-10-24 | Paper |
| A general tableau method for propositional interval temporal logics: theory and implementation | 2006-10-10 | Paper |
| Elementary canonical formulae: extending Sahlqvist's theorem | 2006-08-16 | Paper |
| Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects | 2006-08-15 | Paper |
| Complete axiomatization and decidability of alternating-time temporal logic | 2006-04-28 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664251 | 2005-04-05 | Paper |
| The basic algebra of game equivalences | 2004-03-15 | Paper |
| Temporal Logics with Reference Pointers and Computation Tree Logics | 2004-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430401 | 2003-10-09 | Paper |
| The modal logic of the countable random frame | 2003-09-16 | Paper |
| Hyperboolean Algebras and Hyperboolean Modal Logic | 2003-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329240 | 2002-12-11 | Paper |
| Sahlqvist formulas in hybrid polyadic modal logics | 2002-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4489076 | 2001-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518420 | 2000-11-28 | Paper |
| Axiomatizations with context rules of inference in modal logic | 2000-09-28 | Paper |
| An extended branching-time Ockhamist temporal logic | 1999-05-11 | Paper |
| Hierarchies of modal and temporal logics with reference pointers | 1996-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851412 | 1996-06-19 | Paper |
| Refutation systems in modal logic | 1995-01-03 | Paper |
| Modal logic with names | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694251 | 1993-06-29 | Paper |
| Using the Universal Modality: Gains and Questions | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3360159 | 1991-01-01 | Paper |
| Modal definability in enriched languages | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3800003 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3764129 | 1987-01-01 | Paper |
| The Craig interpolation theorem for propositional logics with strong negation | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3710513 | 1985-01-01 | Paper |
