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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joseph Boudou