scientific article; zbMATH DE number 4119669
From MaRDI portal
Publication:4733441
zbMATH Open0683.68084MaRDI QIDQ4733441FDOQ4733441
Authors: Dov Gabbay
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
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)