Click Here ">
Make your own free website on Tripod.com
« September 2017 »
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
You are not logged in. Log in
Entries by Topic
All topics
Counterfactuals
defl@tionism
GENERAL LOGIC
HUMAN SEMANTICS
Interconnections
PARACONSISTENCY
Polemics
SCIENCE & NEWS
Cognition & Epistemology
Notes on Pirah?
Ontology&possible worlds
PRAGMATICS
PROPAEDEUTICS
Syn-Sem Interface
Temporal Logic  «
Blog Tools
Edit your Blog
Build a Blog
RSS Feed
View Profile
Translate this
INTO JAPANESE
BROTHER BLOG
MAIEUTIKOS
LINGUISTIX&LOGIK, Tony Marmo's blog
Wednesday, 18 November 2009
OBITUARY
Topic: Temporal Logic

Amir Pnueli, Pioneer of Temporal Logic

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
Sunday, 20 February 2005

Topic: Temporal Logic

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

Newer | Latest | Older