Time-extraction for temporal logic -- logic programming and local process time

DOI10.1016/S0022-0000(05)80085-6MaRDI QIDQ1333399zbMATH OpenOpenAlexFDO

Authors Takashi Hattori

Publication date 13 October 1994

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-0000(05)80085-6

zbMATH Keywords

modal logicsmodular semanticstemporal logic programming languagetime extraction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of programming languages (68N15) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Review text

Models of modal logics are usually sets of ``possible worlds related by some ``accessibility relations. In the particular case of temporal logic the different worlds represent different time instants and are ordinated according to the flow of time. Thus an interpretation in this case can be seen as an infinite sequence of standard FOL interpretations. The paper introduces the notion of ``time-extraction for these temporal interpretations: Given a sequence of worlds \(S\) and a formula \(F\), a subsequence \(S'\) is extracted from \(S\) by considering only those worlds in which \(F\) is true. Then it is shown that, for certain formulas, the truth in the sequence \(S\) can be derived from the truth in the extracted sequence \(S'\). This result is applied to provide a modular semantics for a temporal logic programming language.

Recommendations

• scientific article; zbMATH DE number 4119669
• Temporal logic programming
• scientific article; zbMATH DE number 4119670
• scientific article; zbMATH DE number 4081517
• scientific article; zbMATH DE number 4082943

Cites work

• A generalized nexttime operator in temporal logic
• A multiprocess network logic with temporal and spatial modalities
• Alternative semantics for temporal logics
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Time-extraction for temporal logic -- logic programming and local process time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333399)