On Belnap's branching space-times

Tomasz Placek

pp. 77-92

in: Jaakko Hintikka, Tadeusz Czarnecki, Tomasz Placek, Artur Rojszczak (eds), Philosophy and logic in search of the Polish tradition, Berlin, Springer, 2003

Abstract

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.