Valentin Goranko

Peter Jipsen

CoRR, 2021

How Deontic Logic Ought to Be: Towards a Many-Sorted Framework for Normative Reasoning.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL.

[BibT_eX]

[DOI]

Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Rational coordination with no communication or conventions.

[BibT_eX]

[DOI]

J. Log. Comput., 2020

Editorial Foreword.

[BibT_eX]

[DOI]

Natasha Alechina

J. Log. Lang. Inf., 2020

The temporal logic of coalitional goal assignments in concurrent multi-player games.

[BibT_eX]

[DOI]

Sebastian Enqvist

CoRR, 2020

Model checking and model synthesisfrom partial models: a logic-based perspective.

[BibT_eX]

[DOI]

CoRR, 2020

Logic-based specification and verification of homogeneous dynamic multi-agent systems.

[BibT_eX]

[DOI]

Riccardo De Masellis

Auton. Agents Multi Agent Syst., 2020

Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

The Modal Logic of Almost Sure Frame Validities in the Finite.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Alternating-time temporal logic ATL with finitely bounded semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Hybrid Deduction-Refutation Systems.

[BibT_eX]

[DOI]

Axioms, 2019

Minimisation of Models Satisfying CTL Formulas.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification.

[BibT_eX]

[DOI]

Rodica Condurache

Riccardo De Masellis

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Towards a Logic for Conditional Local Strategic Reasoning.

[BibT_eX]

[DOI]

Fengkui Ju

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

Game-Theoretic Semantics for Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2018

Logics for Propositional Determinacy and Independence.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2018

Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

Socially Friendly and Group Protecting Coalition Logics.

[BibT_eX]

[DOI]

Sebastian Enqvist

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

A Logic for Temporal Conditionals and a Solution to the Sea Battle Puzzle.

[BibT_eX]

[DOI]

Fengkui Ju

Gianluca Grilletti

Proceedings of the Advances in Modal Logic 12, 2018

2017

Dov Gabbay, Reactive Kripke Semantics.

[BibT_eX]

[DOI]

Stud Logica, 2017

CTL with Finitely Bounded Semantics.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Rational Coordination in Games with Enriched Representations.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Game-Theoretic Semantics for ATL+ with Applications to Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Two-Player Preplay Negotiation Games with Conditional Offers.

[BibT_eX]

[DOI]

IGTR, 2016

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy.

[BibT_eX]

[DOI]

David Fernández-Duque

Discret. Appl. Math., 2016

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.

[BibT_eX]

[DOI]

Acta Informatica, 2016

State and path coalition effectivity models of concurrent multi-player games.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2016

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems.

[BibT_eX]

[DOI]

Olivier Gasquet

François Schwarzentruber

Auton. Agents Multi Agent Syst., 2016

On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems.

[BibT_eX]

[DOI]

Louwe B. Kuijer

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Logic as a Tool - A Guide to Formal Logical Reasoning.

[BibT_eX]

[DOI]

Wiley, ISBN: 978-1-118-88000-5, 2016

Temporal Logics in Computer Science: Finite-State Systems

[BibT_eX]

[DOI]

Stéphane Demri

Martin Lange

Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, ISBN: 9781107028364, 2016

2015

Logics for Reasoning About Strategic Abilities in Multi-player Games.

[BibT_eX]

[DOI]

Nils Bulling

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL+.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2015

Logic and Discrete Mathematics - A Concise Introduction, Solutions Manual.

[BibT_eX]

[DOI]

Claudette Robinson

Wiley, ISBN: 978-1-118-76267-7, 2015

Logic and Discrete Mathematics - A Concise Introduction.

[BibT_eX]

[DOI]

Wiley, ISBN: 978-1-118-75127-5, 2015

2014

Secure aggregation of distributed information.

[BibT_eX]

[DOI]

David Fernández-Duque

CoRR, 2014

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.

[BibT_eX]

[DOI]

CoRR, 2014

The dark side of interval temporal logic: marking the undecidability border.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane.

[BibT_eX]

[DOI]

Olivier Gasquet

François Schwarzentruber

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics.

[BibT_eX]

[DOI]

Steen Vester

Proceedings of the Advances in Modal Logic 10, 2014

Temporal Aspects of the Dynamics of Knowledge.

[BibT_eX]

[DOI]

Eric Pacuit

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Metric propositional neighborhood logics on natural numbers.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.

[BibT_eX]

[DOI]

Mai Ajspur

Log. J. IGPL, 2013

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

[BibT_eX]

[DOI]

Nils Bulling

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Strategic games and truly playable effectivity functions.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2013

An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge.

[BibT_eX]

[DOI]

Mai Ajspur

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

2012

Logic for physical space - From antiquity to present days.

[BibT_eX]

[DOI]

Synth., 2012

Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2012

Transformations of normal form games by preplay offers for payments among players

[BibT_eX]

[DOI]

CoRR, 2012

Non-cooperative games with preplay negotiations

[BibT_eX]

[DOI]

CoRR, 2012

Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge.

[BibT_eX]

[DOI]

Mai Ajspur

CoRR, 2012

Undecidability and Temporal Logic: Some Landmarks from Turing to the Present.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

State and path coalition effectivity models for logics of multi-player games.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Classes and theories of trees associated with a class of linear orders.

[BibT_eX]

[DOI]

Ruaan Kellerman

Log. J. IGPL, 2011

Preface.

[BibT_eX]

[DOI]

Hans van Ditmarsch

David Fernández-Duque

Wojtek Jamroga

Manuel Ojeda-Aciego

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Two-sorted Point-Interval Temporal Logics.

[BibT_eX]

[DOI]

Philippe Balbiani

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Interval Temporal Logics: a Journey.

[BibT_eX]

[DOI]

Bull. EATCS, 2011

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Book Reviews.

[BibT_eX]

[DOI]

Stud Logica, 2010

Tableaux for Logics of Subinterval Structures over Dense Orderings.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Model-checking CTL* over flat Presburger counter systems.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.

[BibT_eX]

[DOI]

Dario Della Monica

Proceedings of the International Workshop on Hybrid Logic and Applications 2010, 2010

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

2009

Tableau-based decision procedures for logics of strategic ability in multiagent systems.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis.

[BibT_eX]

[DOI]

Angelo Kyrilov

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2009

Undecidability of Interval Temporal Logics with the Overlap Modality.

[BibT_eX]

[DOI]

Proceedings of the TIME 2009, 2009

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Algorithmic correspondence and completeness in modal logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2008

Tableau-based decision procedures for logics of strategic ability in multi-agent systems

[BibT_eX]

[DOI]

CoRR, 2008

Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

2007

Logical Theories for Fragments of Elementary Geometry.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Spatial Logics, 2007

Logic in Computer Science: Modelling and Reasoning About Systems.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2007

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.

[BibT_eX]

[DOI]

Alberto Zanardo

Log. J. IGPL, 2007

Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Alternating-time temporal logics with irrevocable strategies.

[BibT_eX]

[DOI]

Thomas Ågotnes

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Tableau Systems for Logics of Subinterval Structures over Dense Orderings.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Symbolic Model Checking of Tense Logics on Rational Kripke Models.

[BibT_eX]

[DOI]

Wilmari Bekker

Proceedings of the Infinity in Logic and Computation, International Conference, 2007

Model theory of modal logic.

[BibT_eX]

[DOI]

Martin Otto

Proceedings of the Handbook of Modal Logic., 2007

2006

Complete axiomatization and decidability of Alternating-time temporal logic.

[BibT_eX]

[DOI]

Govert van Drimmelen

Theor. Comput. Sci., 2006

Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2006

A general tableau method for propositional interval temporal logics: Theory and implementation.

[BibT_eX]

[DOI]

J. Appl. Log., 2006

Elementary canonical formulae: extending Sahlqvist's theorem.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2006

Towards a Model-Checker for Counter Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2004

Comparing Semantics of Logics for Multi-Agent Systems.

[BibT_eX]

[DOI]

Synth., 2004

Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53.

[BibT_eX]

[DOI]

Andrea Cantini

Stud Logica, 2004

A Road Map of Interval Temporal Logics and Duration Calculi.

[BibT_eX]

[DOI]

Angelo Montanari

J. Appl. Non Class. Logics, 2004

Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Model?theoretic Aspects.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 5, 2004

2003

The Basic Algebra of Game Equivalences.

[BibT_eX]

[DOI]

Stud Logica, 2003

Propositional Interval Neighborhood Temporal Logics.

[BibT_eX]

[DOI]

Angelo Montanari

J. Univers. Comput. Sci., 2003

The modal logic of the countable random frame.

[BibT_eX]

[DOI]

Bruce M. Kapron

Arch. Math. Log., 2003

A General Tableau Method for Propositional Interval Temporal Logics.

[BibT_eX]

[DOI]

Angelo Montanari

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

SCAN Is Complete for All Sahlqvist Formulae.

[BibT_eX]

[DOI]

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

Modal Logics for Parallelism, Orthogonality, and Affine Geometries.

[BibT_eX]

[DOI]

Philippe Balbiani

J. Appl. Non Class. Logics, 2002

2001

Sahlqvist Formulas in Hybrid Polyadic Modal Logics.

[BibT_eX]

[DOI]