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…