Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Bifurcation Logic: Separation Through Ordering
Didier Galmiche, Timo Lang, Daniel Méry +1
We introduce Bifurcation Logic, BL, which combines a basic classical modality with separating conjunction * together with its naturally associated multiplicative implication, that…
cs.LO2024
Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
Didier Galmiche, Timo Lang, David Pym
The infrastructure upon which the functioning of society depends is composed of complex ecosystems of systems. Consequently, we must reason about the properties of such ecosystems,…