Amir Pnueli, who turned philosophical studies of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan, of brain hemorrhage, at the age of 68. [Read more at the NYT site]

Posted by Tony Marmo at 17:41 GMT

Updated: Wednesday, 18 November 2009 17:51 GMT

Share This Post

Post Comment | Permalink

Combining Temporal Logic Systems

By Marcelo Finger & Dov Gabbay

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties.

Source: Notre Dame J. Formal Logic ?37 (1996), no. 2, 204-232
Open Access

Posted by Tony Marmo at 00:01 GMT

Updated: Sunday, 20 February 2005 17:06 GMT

Share This Post

Post Comment | Permalink