Follow
Joseph Boudou
Joseph Boudou
postdoc, IRIT, Toulouse University
Verified email at irit.fr - Homepage
Title
Cited by
Cited by
Year
Compression of propositional resolution proofs by lowering subproofs
J Boudou, B Woltzenlogel Paleo
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
192013
Intuitionistic linear temporal logics
P Balbiani, J Boudou, M Diéguez, D Fernández-Duque
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-32, 2019
162019
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
162017
Skeptik: A proof compression system
J Boudou, A Fellner, B Woltzenlogel Paleo
International Joint Conference on Automated Reasoning, 374-380, 2014
142014
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
P Balbiani, J Boudou
Journal of Logic and Computation 28 (4), 705-731, 2018
132018
Axiomatic systems and topological semantics for intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque, F Romero
European Conference on Logics in Artificial Intelligence, 763-777, 2019
72019
Concurrent game structures for temporal STIT logic
J Boudou, E Lorini
ACM: Association for Computing Machinery, 2018
62018
Bisimulations for intuitionistic temporal logics
P Balbiani, J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1803.05078, 2018
52018
Decidability of iteration-free PDL with parallel composition
P Balbiani, J Boudou
IJCAR'14, 31, 2014
52014
Decidable logics with associative binary modalities
J Boudou
Schloss Dagstuhl Leibniz-Zentrum fur Informatik 82, 1-15, 2017
42017
Exponential-size model property for PDL with separating parallel composition
J Boudou
International Symposium on Mathematical Foundations of Computer Science, 129-140, 2015
42015
Tableaux methods for propositional dynamic logics with separating parallel composition
P Balbiani, J Boudou
International Conference on Automated Deduction, 539-554, 2015
42015
Complete intuitionistic temporal logics for topological dynamics
J Boudou, M Diéguez, D Fernández-Duque
The Journal of Symbolic Logic 87 (3), 995-1022, 2022
32022
Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
J Boudou
International Joint Conference on Automated Reasoning, 373-388, 2016
32016
Exploring the jungle of intuitionistic temporal logics
J Boudou, M Diéguez, D Fernández-Duque, P Kremer
Theory and Practice of Logic Programming 21 (4), 459-492, 2021
22021
Resource separation in dynamic logic of propositional assignments
J Boudou, A Herzig, N Troquard
International Workshop on Dynamic Logic, 155-170, 2020
22020
Itero: An Online Iterative Voting Application (demo track)
J Boudou, R Colley, U Grandi
31st International Joint Conference on Artificial Intelligence (IJCAI 2022 …, 2022
12022
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
J Boudou, E Lorini
European Conference on Logics in Artificial Intelligence, 144-158, 2016
12016
Verification using Ocaml of Commutativity of Diagrams in Free Symmetric Monoidal Closed Categories
J Boudou, S Soloviev
PCA2012 St Petersburg, 0
1
Axiomatization and computability of a variant of iteration-free PDL with fork
P Balbiani, J Boudou
Journal of Logical and Algebraic Methods in Programming 108, 47-68, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20