A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

DOI10.1142/S0129054104002509MaRDI QIDQ3022009zbMATH OpenFDO

Authors Manolis Gergatsoulis, Christos Nomikos

Publication date 22 June 2005

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

theorem provingbranching-timetemporal logic programmingproof procedures

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Temporal logic programming
• scientific article; zbMATH DE number 4119669
• Branching-time logic programming: the language Cactus and its applications
• Foundations of linear-time logic programming
• A clausal resolution method for CTL branching-time temporal logic

Cites work

• A Temporal extension of Prolog
• A clausal resolution method for CTL branching-time temporal logic
• Branching-time logic programming: the language Cactus and its applications
• Dealing with multiple granularity of time in temporal logic programming
• Foundations of linear-time logic programming
• Programming in metric temporal logic
• Temporal disjunctive logic programming
• Temporal logic programming
• The branching-time transformation technique for chain datalog programs
• Verification of reactive systems using temporal logic with clocks

Cited in

(6)

• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 1059321 (Why is no real title available?)
• A proof system for a unified temporal logic
• scientific article; zbMATH DE number 6423748 (Why is no real title available?)
• Extensions of the branching-time logic programming language CACTUS
• Temporal stratification tests for linear and branching-time deductive databases

Describes a project that uses

Uses Software

• CACTUS

This page was built for publication: A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

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