BH-CIFOL: Case-Intensional First Order Logic: (II) Branching Histories
{{output}}
This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I ... ...
