Suivre
Joseph Boudou
Joseph Boudou
postdoc, IRIT, Toulouse University
Adresse e-mail validée de irit.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
242019
A decidable intuitionistic temporal logic
J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1704.02847, 2017
202017
Compression of propositional resolution proofs by lowering subproofs
J Boudou, B Woltzenlogel Paleo
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd …, 2013
192013
Skeptik: A proof compression system
J Boudou, A Fellner, B Woltzenlogel Paleo
International Joint Conference on Automated Reasoning, 374-380, 2014
162014
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
Concurrent game structures for temporal STIT logic
J Boudou, E Lorini
ACM: Association for Computing Machinery, 2018
112018
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
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
62022
Bisimulations for intuitionistic temporal logics
P Balbiani, J Boudou, M Diéguez, D Fernández-Duque
arXiv preprint arXiv:1803.05078, 2018
62018
Decidable logics with associative binary modalities
J Boudou
Schloss Dagstuhl Leibniz-Zentrum fur Informatik 82, 1-15, 2017
52017
Decidability of iteration-free PDL with parallel composition
P Balbiani, J Boudou
IJCAR'14, 31, 2014
52014
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
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
32021
Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
J Boudou
International Joint Conference on Automated Reasoning, 373-388, 2016
32016
Resource separation in dynamic logic of propositional assignments
J Boudou, A Herzig, N Troquard
Dynamic Logic. New Trends and Applications: Second International Workshop …, 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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20