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

DOI10.1016/S0022-0000(05)80085-6zbMath0816.68042OpenAlexW1964715028MaRDI QIDQ1333399

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) Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

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