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
https://portal.mardi4nfdi.de/entity/Q5039160	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
https://portal.mardi4nfdi.de/entity/Q5111182	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 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