Dealing with multiple granularity of time in temporal logic programming

DOI10.1006/JSCO.1996.0072zbMath0867.68027OpenAlexW2049351618WikidataQ58185349 ScholiaQ58185349MaRDI QIDQ679341

Mehmet A. Orgun, Chuchang Liu

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)

Related Items (3)

A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Timed Term Rewrite Systems ⋮ Verification of reactive systems using temporal logic with clocks

Uses Software

• METATEM

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