Joseph Boudou

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exploring the Jungle of Intuitionistic Temporal Logics Theory and Practice of Logic Programming	2023-12-12	Paper
Bisimulations for intuitionistic temporal logics (available as arXiv preprint)	2022-10-12	Paper
Complete intuitionistic temporal logics for topological dynamics Journal of Symbolic Logic	2022-08-29	Paper
Resource separation in dynamic logic of propositional assignments Journal of Logical and Algebraic Methods in Programming	2021-08-03	Paper
Resource separation in dynamic logic of propositional assignments Lecture Notes in Computer Science	2020-07-08	Paper
Resource separation in dynamic logic of propositional assignments Lecture Notes in Computer Science	2020-07-08	Paper
A decidable intuitionistic temporal logic (available as arXiv preprint)	2020-05-26	Paper
Decidable logics with associative binary modalities	2020-05-26	Paper
Axiomatic systems and topological semantics for intuitionistic temporal logic	2020-02-18	Paper
Axiomatic systems and topological semantics for intuitionistic temporal logic (available as arXiv preprint)	2020-02-18	Paper
Intuitionistic linear temporal logics ACM Transactions on Computational Logic	2020-02-14	Paper
Intuitionistic linear temporal logics ACM Transactions on Computational Logic	2020-02-14	Paper
Axiomatization and computability of a variant of iteration-free PDL with fork Journal of Logical and Algebraic Methods in Programming	2019-11-28	Paper
Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization Journal Of Logic And Computation	2019-01-31	Paper
Axiomatization and computability of a variant of iteration-free PDL with fork Lecture Notes in Computer Science	2018-04-12	Paper
Axiomatic systems and topological semantics for intuitionistic temporal logic (available as arXiv preprint)	2018-03-13	Paper
Bisimulations for intuitionistic temporal logics (available as arXiv preprint)	2018-03-13	Paper
Decidability and expressivity of Ockhamist propositional dynamic logics Logics in Artificial Intelligence	2016-11-30	Paper
Complexity optimal decision procedure for a propositional dynamic logic with parallel composition Automated Reasoning	2016-09-05	Paper
Tableaux methods for propositional dynamic logics with separating parallel composition Automated Deduction - CADE-25	2015-12-02	Paper
Exponential-size model property for PDL with separating parallel composition Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Compression of propositional resolution proofs by lowering subproofs Lecture Notes in Computer Science	2013-10-04	Paper

Research outcomes over time

This page was built for person: Joseph Boudou