Abstract: Ionut Tutu

A LOGIC FOR REASONING ABOUT TIMEA 

 

           Logics suitable for reasoning about time find application in various areas of computer science, such as formal verification and specification. We introduce a propositional logic for dealing with time in a region-based theory of time and provide a construction of the logical system at the categorical abstract level of institution theory. We then develop an institution-independent method that extends a logic formalized as an institution by adding a temporal dimension specific to the region-based propositional logic of time.