scientific article; zbMATH DE number 4119669

zbMATH Open0683.68084MaRDI QIDQ4733441FDOQ4733441

Authors: Dov Gabbay 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• Temporal logic programming
• A Temporal extension of Prolog
• scientific article; zbMATH DE number 4081517
• scientific article; zbMATH DE number 4119670
• Temporal logic CTL \(+\) Prolog

zbMATH Keywords

temporal logic programmingTemporal Prologmodal logic programming

Mathematics Subject Classification ID

Artificial intelligence (68T99) Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Cited In (20)

• Temporal logic programming
• Multi-modal logic programming using equational and order-sorted logic
• Extensions of the branching-time logic programming language CACTUS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modality and interrupts
• Temporal disjunctive logic programming
• On temporal logic S4Dbr
• Programming in metric temporal logic
• Temporal logic CTL \(+\) Prolog
• Extending Temporal Logic Programming with Choice Predicates Non-determinism
• A Temporal extension of Prolog
• Abstract minimality and circumscription
• Title not available (Why is that?)
• Title not available (Why is that?)
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
• Model Theoretic Syntax and Parsing
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
• Title not available (Why is that?)
• An infinitary encoding of temporal equilibrium logic

This page was built for publication:

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