| 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 |
| scientific article; zbMATH DE number 7795664 (Why is no real title available?) | 2024-01-26 | Paper |
scientific article; zbMATH DE number 7795665 (Why is no real title available?)
(available as arXiv preprint) | 2024-01-26 | Paper |
| scientific article; zbMATH DE number 7795665 (Why is no real title available?) | 2024-01-26 | Paper |
scientific article; zbMATH DE number 7795664 (Why is no real title available?)
(available as arXiv preprint) | 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}
(available as arXiv preprint) | 2023-03-30 | Paper |
| How deontic logic ought to be: towards a many-sorted framework for normative reasoning | 2023-02-21 | Paper |
| CTL with finitely bounded semantics | 2023-02-03 | Paper |
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
ACM Transactions on Computational Logic | 2022-12-08 | Paper |
| scientific article; zbMATH DE number 7585717 (Why is no real title available?) | 2022-09-15 | Paper |
| scientific article; zbMATH DE number 7585088 (Why is no real title available?) | 2022-09-14 | Paper |
A logic for conditional local strategic reasoning
Journal of Logic, Language and Information | 2022-07-15 | Paper |
Knowledge-based strategies for multi-agent teams playing against nature
Artificial Intelligence | 2022-07-08 | Paper |
Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
Outstanding Contributions to Logic | 2022-02-04 | Paper |
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees
Journal of Symbolic Logic | 2021-12-09 | Paper |
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
(available as arXiv preprint) | 2021-08-14 | Paper |
| Gradual guaranteed coordination in repeated win-lose coordination games | 2021-07-06 | Paper |
| How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract) | 2021-05-06 | Paper |
How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
(available as arXiv preprint) | 2021-05-06 | Paper |
A Logic for Conditional Local Strategic Reasoning
(available as arXiv preprint) | 2021-02-11 | Paper |
Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
Information and Computation | 2021-02-08 | Paper |
Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
Information and Computation | 2021-02-08 | Paper |
Rational coordination with no communication or conventions
Journal Of Logic And Computation | 2020-12-15 | Paper |
| Towards a logic for conditional local strategic reasoning | 2020-01-30 | Paper |
Towards a logic for conditional local strategic reasoning
(available as arXiv preprint) | 2020-01-30 | Paper |
Alternating-time temporal logic ATL with finitely bounded semantics
Theoretical Computer Science | 2019-11-07 | Paper |
| A logic for temporal conditionals and a solution to the sea battle puzzle | 2019-07-24 | Paper |
Logics for propositional determinacy and independence
The Review of Symbolic Logic | 2018-10-25 | Paper |
Game-Theoretic Semantics for Alternating-Time Temporal Logic
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
Game-Theoretic Semantics for Alternating-Time Temporal Logic
ACM Transactions on Computational Logic | 2018-10-24 | Paper |
| scientific article; zbMATH DE number 6863862 (Why is no real title available?) | 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 \(\mathrm{ATL}^+\)
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Book review of: D. M. Gabbay, Reactive Kripke semantics
Studia Logica | 2017-05-15 | Paper |
| Logic as a tool. A concise guide to logical reasoning | 2016-10-27 | Paper |
Two-sorted point-interval temporal logics
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Logics for Propositional Determinacy and Independence
(available as arXiv preprint) | 2016-09-23 | Paper |
Logics for Reasoning About Strategic Abilities in Multi-player Games
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Undecidability of the logic of overlap relation over discrete linear orderings
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
| scientific article; zbMATH DE number 6602207 (Why is no real title available?) | 2016-07-08 | Paper |
Temporal logics in computer science. Finite-state systems
Cambridge Tracts in Theoretical Computer Science | 2016-05-11 | Paper |
Two-player preplay negotiation games with conditional offers
International Game Theory Review | 2016-04-27 | Paper |
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
Acta Informatica | 2016-04-07 | Paper |
Secure aggregation of distributed information: how a team of agents can safely share secrets in front of a spy
Discrete Applied Mathematics | 2015-12-07 | Paper |
Tableau-based decision procedures for logics of strategic ability in multiagent systems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Logic and discrete mathematics. A concise introduction | 2015-06-04 | Paper |
Temporal Aspects of the Dynamics of Knowledge
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge
Logic and Its Applications | 2015-01-06 | Paper |
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
Automated Reasoning | 2014-09-26 | Paper |
The dark side of interval temporal logic: marking the undecidability border
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
Logic for physical space. From antiquity to present day
Synthese | 2013-11-25 | Paper |
An offer you cannot refuse: obtaining efficiency and fairness in preplay negotiation games with conditional offers
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge
Logic Journal of the IGPL | 2013-06-11 | Paper |
Hybrid metric propositional neighborhood logics with interval length binders
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| scientific article; zbMATH DE number 6131597 (Why is no real title available?) | 2013-01-28 | Paper |
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
Annals of Pure and Applied Logic | 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
Journal of Applied Logic | 2011-03-22 | Paper |
Classes and theories of trees associated with a class of linear orders
Logic Journal of the IGPL | 2011-03-07 | Paper |
A general tableau method for propositional interval temporal logics
Lecture Notes in Computer Science | 2010-03-09 | Paper |
Tableaux for logics of subinterval structures over dense orderings
Journal Of Logic And Computation | 2010-02-19 | Paper |
Modal Logics for Parallelism, Orthogonality, and Affine Geometries
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Symbolic Model Checking of Tense Logics on Rational Kripke Models
Infinity in Logic and Computation | 2009-11-12 | Paper |
IV. Semantic extensions of SQEMA
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
A Road Map of Interval Temporal Logics and Duration Calculi
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
A Road Map of Interval Temporal Logics and Duration Calculi
Journal of Applied Non-Classical Logics | 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
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Towards a Model-Checker for Counter Systems
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
Lecture Notes in Computer Science | 2008-01-04 | Paper |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Logical Methods in Computer Science | 2007-10-11 | Paper |
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
Logic Journal of the IGPL | 2007-05-18 | Paper |
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
Journal Of Logic And Computation | 2007-04-13 | Paper |
Comparing semantics of logics for multi-agent systems
Synthese | 2006-10-24 | Paper |
A general tableau method for propositional interval temporal logics: theory and implementation
Journal of Applied Logic | 2006-10-10 | Paper |
Elementary canonical formulae: extending Sahlqvist's theorem
Annals of Pure and Applied Logic | 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
Theoretical Computer Science | 2006-04-28 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2152683 (Why is no real title available?) | 2005-04-05 | Paper |
The basic algebra of game equivalences
Studia Logica | 2004-03-15 | Paper |
Temporal Logics with Reference Pointers and Computation Tree Logics
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 1989654 (Why is no real title available?) | 2003-10-09 | Paper |
The modal logic of the countable random frame
Archive for Mathematical Logic | 2003-09-16 | Paper |
Hyperboolean Algebras and Hyperboolean Modal Logic
Journal of Applied Non-Classical Logics | 2003-01-30 | Paper |
| scientific article; zbMATH DE number 1735879 (Why is no real title available?) | 2002-12-11 | Paper |
Sahlqvist formulas in hybrid polyadic modal logics
Journal of Logic and Computation | 2002-02-19 | Paper |
| scientific article; zbMATH DE number 1471992 (Why is no real title available?) | 2001-03-07 | Paper |
| scientific article; zbMATH DE number 1536552 (Why is no real title available?) | 2000-11-28 | Paper |
Axiomatizations with context rules of inference in modal logic
Studia Logica | 2000-09-28 | Paper |
An extended branching-time Ockhamist temporal logic
Journal of Logic, Language and Information | 1999-05-11 | Paper |
Hierarchies of modal and temporal logics with reference pointers
Journal of Logic, Language and Information | 1996-11-04 | Paper |
| scientific article; zbMATH DE number 804146 (Why is no real title available?) | 1996-06-19 | Paper |
Refutation systems in modal logic
Studia Logica | 1995-01-03 | Paper |
Modal logic with names
Journal of Philosophical Logic | 1994-08-21 | Paper |
| scientific article; zbMATH DE number 218547 (Why is no real title available?) | 1993-06-29 | Paper |
Using the Universal Modality: Gains and Questions
Journal Of Logic And Computation | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4212005 (Why is no real title available?) | 1991-01-01 | Paper |
Modal definability in enriched languages
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4066842 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4021104 (Why is no real title available?) | 1987-01-01 | Paper |
The Craig interpolation theorem for propositional logics with strong negation
Studia Logica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3937157 (Why is no real title available?) | 1985-01-01 | Paper |
