Showing cs.LOShow all
3 papers · 1 filter
cs.LO2021
Resource separation in dynamic logic of propositional assignments
Joseph Boudou, Andreas Herzig, Nicolas Troquard
We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction…
cs.LO2019
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, Martín Diéguez +1
We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transiti…
cs.LO2019
Complete Intuitionistic Temporal Logics in Topological Dynamics
Joseph Boudou, Martín Diéguez, David Fernández-Duque
The language of linear temporal logic can be interpreted over the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${{\sf ITL}^{\sf c}}_{\Diam…