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, BW Paleo
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
182013
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
122018
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
122017
Skeptik: A proof compression system
J Boudou, A Fellner, BW Paleo
International Joint Conference on Automated Reasoning, 374-380, 2014
122014
Decidability of iteration-free PDL with parallel composition
P Balbiani, J Boudou
IJCAR'14, 31, 2014
72014
Exponential-size model property for PDL with separating parallel composition
J Boudou
International Symposium on Mathematical Foundations of Computer Science, 129-140, 2015
62015
Tableaux methods for propositional dynamic logics with separating parallel composition
P Balbiani, J Boudou
International Conference on Automated Deduction, 539-554, 2015
62015
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
52019
Bisimulations for intuitionistic temporal logics
P Balbiani, J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1803.05078, 2018
52018
Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
J Boudou
International Joint Conference on Automated Reasoning, 373-388, 2016
52016
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
42019
Concurrent game structures for temporal STIT logic
J Boudou, E Lorini
ACM: Association for Computing Machinery, 2018
42018
Decidable logics with associative binary modalities
J Boudou
Schloss Dagstuhl Leibniz-Zentrum fur Informatik 82, 1-15, 2017
42017
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics
J Boudou, E Lorini
European Conference on Logics in Artificial Intelligence, 144-158, 2016
32016
Resource separation in dynamic logic of propositional assignments
J Boudou, A Herzig, N Troquard
International Workshop on Dynamic Logic, 155-170, 2019
12019
Complete Intuitionistic Temporal Logics in Topological Dynamics
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1910.00907, 2019
12019
Verification using Ocaml of Commutativity of Diagrams in Free Symmetric Monoidal Closed Categories
J Boudou, S Soloviev
PCA2012 St Petersburg, 0
1
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
2021
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
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork
P Balbiani, J Boudou
International Workshop on Dynamic Logic, 17-34, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20