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

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

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)