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

DOI10.1016/S0022-0000(05)80085-6zbMATH Open0816.68042OpenAlexW1964715028MaRDI QIDQ1333399FDOQ1333399

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

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

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)

Cites Work

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

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)