Branching Temporal Logic

This chapter will outline a particular type of temporal logic, viz branching time logic. I will give the philosophical motivations for this type of logic and secondly I will describe the formal logic system. Both branching as well as other types of temporal systems differs from the basic by imposing certain restrictions upon the topology of time. In this chapter I will show how these restrictions in fact have some beneficial effects.