On Belnap’s Branching Space-Times

I compare two theories of branching space-times (BST): Belnap’s (1992) theory and the Kowalski-Placek (1999) theory. I show that Belnap’s postulates imply Kowalski-Placek’s postulates. I also show that many notions of one theory are translatable into notions of the other theory.