Joseph Boudou

According to our database, Joseph Boudou authored at least 19 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Complete intuitionistic Temporal Logics for Topological dynamics.

Joseph Boudou, Martín Diéguez, David Fernández-Duque

J. Symb. Log., 2022

Itero: An Online Iterative Voting Application.

Joseph Boudou, Rachael Colley, Umberto Grandi

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Exploring the Jungle of Intuitionistic Temporal Logics.

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer

Theory Pract. Log. Program., 2021

Resource separation in dynamic logic of propositional assignments.

Joseph Boudou, Andreas Herzig, Nicolas Troquard

J. Log. Algebraic Methods Program., 2021

Bisimulations for Intuitionistic Temporal Logics.

Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque

FLAP, 2021

2020

Intuitionistic Linear Temporal Logics.

Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque

ACM Trans. Comput. Log., 2020

2019

Axiomatization and computability of a variant of iteration-free PDL with fork.

Philippe Balbiani, Joseph Boudou

J. Log. Algebraic Methods Program., 2019

Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic.

Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.

Philippe Balbiani, Joseph Boudou

J. Log. Comput., 2018

Concurrent Game Structures for Temporal STIT Logic.

Joseph Boudou, Emiliano Lorini

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

2017

A Decidable Intuitionistic Temporal Logic.

Joseph Boudou, Martín Diéguez, David Fernández-Duque

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

Decidable Logics with Associative Binary Modalities.

Joseph Boudou

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Decision procedures for modal logics of actions, resources and concurrency. (Procédures de décision pour des logiques modales d'actions, de ressources et de concurrence).

Joseph Boudou

PhD thesis, 2016

Decidability and Expressivity of Ockhamist Propositional Dynamic Logics.

Joseph Boudou, Emiliano Lorini

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition.

Joseph Boudou

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Exponential-Size Model Property for PDL with Separating Parallel Composition.

Joseph Boudou

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition.

Philippe Balbiani, Joseph Boudou

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Skeptik: A Proof Compression System.

Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo

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

2013

Compression of Propositional Resolution Proofs by Lowering Subproofs.

Joseph Boudou, Bruno Woltzenlogel Paleo

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