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 | 31 | 2019 |
A decidable intuitionistic temporal logic J Boudou, M Diéguez, D Fernández-Duque arXiv preprint arXiv:1704.02847, 2017 | 23 | 2017 |
Compression of propositional resolution proofs by lowering subproofs J Boudou, B Woltzenlogel Paleo International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | 19 | 2013 |
Skeptik: A proof compression system J Boudou, A Fellner, B Woltzenlogel Paleo International Joint Conference on Automated Reasoning, 374-380, 2014 | 16 | 2014 |
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 | 14 | 2018 |
Concurrent game structures for temporal STIT logic J Boudou, E Lorini ACM: Association for Computing Machinery, 2018 | 12 | 2018 |
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 | 9 | 2022 |
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 | 7 | 2019 |
Bisimulations for intuitionistic temporal logics P Balbiani, J Boudou, M Diéguez, D Fernández-Duque arXiv preprint arXiv:1803.05078, 2018 | 7 | 2018 |
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 | 5 | 2021 |
Decidable logics with associative binary modalities J Boudou Schloss Dagstuhl Leibniz-Zentrum fur Informatik 82, 1-15, 2017 | 5 | 2017 |
Decidability of iteration-free PDL with parallel composition P Balbiani, J Boudou IJCAR'14, 31, 2014 | 5 | 2014 |
Exponential-size model property for PDL with separating parallel composition J Boudou International Symposium on Mathematical Foundations of Computer Science, 129-140, 2015 | 4 | 2015 |
Tableaux methods for propositional dynamic logics with separating parallel composition P Balbiani, J Boudou International Conference on Automated Deduction, 539-554, 2015 | 4 | 2015 |
Complexity optimal decision procedure for a propositional dynamic logic with parallel composition J Boudou International Joint Conference on Automated Reasoning, 373-388, 2016 | 3 | 2016 |
Itero: An Online Iterative Voting Application (demo track) J Boudou, R Colley, U Grandi 31st International Joint Conference on Artificial Intelligence (IJCAI 2022 …, 2022 | 2 | 2022 |
Resource separation in dynamic logic of propositional assignments J Boudou, A Herzig, N Troquard Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020 | 2 | 2020 |
Bisimulations for intuitionistic temporal logics (2020) P Balbiani, J Boudou, M Dieguez, D Fernández-Duque Electronic Notes in Theoretical Computer Science, 2020 | 1 | 2020 |
26th EACSL Annual Conference on Computer Science Logic (CSL 2017) A Dawar, D Leivant, PG Kolaitis, L Kovács, S Kreutzer, M Mahajan, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | 1 | 2017 |
Decidability and Expressivity of Ockhamist Propositional Dynamic Logics J Boudou, E Lorini European Conference on Logics in Artificial Intelligence, 144-158, 2016 | 1 | 2016 |