Joseph Boudou

ORCID

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 22

Top Venues

CoRR

J. Log. Algebraic Methods Program.

JELIA

IJCAR

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Joseph Boudou, Martín Diéguez, David Fernández-Duque
Complete intuitionistic Temporal Logics for Topological dynamics. J. Symb. Log. 87 (3) (2022)
Joseph Boudou, Rachael Colley, Umberto Grandi
Itero: An Online Iterative Voting Application. IJCAI (2022)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. Theory Pract. Log. Program. 21 (4) (2021)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments. CoRR (2021)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for Intuitionistic Temporal Logics. FLAP 8 (8) (2021)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource separation in dynamic logic of propositional assignments. J. Log. Algebraic Methods Program. 121 (2021)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. ACM Trans. Comput. Log. 21 (2) (2020)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
Complete Intuitionistic Temporal Logics in Topological Dynamics. CoRR (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. JELIA (2019)
Joseph Boudou, Andreas Herzig, Nicolas Troquard
Resource Separation in Dynamic Logic of Propositional Assignments. DaLí (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Philip Kremer
Exploring the Jungle of Intuitionistic Temporal Logics. CoRR (2019)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Intuitionistic Linear Temporal Logics. CoRR (2019)
Philippe Balbiani, Joseph Boudou
Axiomatization and computability of a variant of iteration-free PDL with fork. J. Log. Algebraic Methods Program. 108 (2019)
Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque
Bisimulations for intuitionistic temporal logics. CoRR (2018)
Philippe Balbiani, Joseph Boudou
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. J. Log. Comput. 28 (4) (2018)
Joseph Boudou, Emiliano Lorini
Concurrent Game Structures for Temporal STIT Logic. AAMAS (2018)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic systems and topological semantics for intuitionistic temporal logic. CoRR (2018)
Joseph Boudou
Decidable Logics with Associative Binary Modalities. CSL (2017)
Joseph Boudou, Martín Diéguez, David Fernández-Duque
A Decidable Intuitionistic Temporal Logic. CSL (2017)
Philippe Balbiani, Joseph Boudou
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork. DALI@TABLEAUX (2017)
Joseph Boudou, Emiliano Lorini
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics. JELIA (2016)
Joseph Boudou
Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition. IJCAR (2016)
Joseph Boudou
Exponential-Size Model Property for PDL with Separating Parallel Composition. MFCS (1) (2015)
Philippe Balbiani, Joseph Boudou
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. CADE (2015)
Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo
Skeptik: A Proof Compression System. IJCAR (2014)
Joseph Boudou, Bruno Woltzenlogel Paleo
Compression of Propositional Resolution Proofs by Lowering Subproofs. TABLEAUX (2013)

Joseph Boudou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joseph Boudou