Dealing with multiple granularity of time in temporal logic programming

DOI10.1006/JSCO.1996.0072MaRDI QIDQ679341zbMATH OpenOpenAlexWikidataFDO

Authors Chuchang Liu, Mehmet A. Orgun

Publication date 7 August 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1996.0072

zbMATH Keywords

chronologsimulation systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Recommendations

• Foundations of linear-time logic programming
• Temporal disjunctive logic programming
• Temporal logic programming
• A Temporal extension of Prolog
• Temporal annotated constraint logic programming

Cited in

(6)

• Specification and verification of multi-clock systems using a temporal logic with clock constraints
• Temporal disjunctive logic programming
• Verification of reactive systems using temporal logic with clocks
• Timed term rewrite systems
• scientific article; zbMATH DE number 1536550 (Why is no real title available?)
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

Describes a project that uses

Uses Software

• METATEM

This page was built for publication: Dealing with multiple granularity of time in temporal logic programming

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