Joseph Boudou

Available identifiers

zbMath Open boudou.josephMaRDI QIDQ777892

List of research outcomes

Publication	Date of Publication	Type
Exploring the Jungle of Intuitionistic Temporal Logics	2023-12-12	Paper
Bisimulations for intuitionistic temporal logics	2022-10-12	Paper
Complete intuitionistic temporal logics for topological dynamics	2022-08-29	Paper
Resource separation in dynamic logic of propositional assignments	2021-08-03	Paper
Resource separation in dynamic logic of propositional assignments	2020-07-08	Paper
A decidable intuitionistic temporal logic	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
Intuitionistic linear temporal logics	2020-02-14	Paper
Axiomatization and computability of a variant of iteration-free PDL with fork	2019-11-28	Paper
Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization	2019-01-31	Paper
Axiomatization and computability of a variant of iteration-free PDL with fork	2018-04-12	Paper
Axiomatic systems and topological semantics for intuitionistic temporal logic	2018-03-13	Paper
Bisimulations for intuitionistic temporal logics	2018-03-13	Paper
Decidability and expressivity of Ockhamist propositional dynamic logics	2016-11-30	Paper
Complexity optimal decision procedure for a propositional dynamic logic with parallel composition	2016-09-05	Paper
Tableaux methods for propositional dynamic logics with separating parallel composition	2015-12-02	Paper
Exponential-size model property for PDL with separating parallel composition	2015-09-16	Paper
Compression of propositional resolution proofs by lowering subproofs	2013-10-04	Paper

Research outcomes over time

This page was built for person: Joseph Boudou