Programming in metric temporal logic
From MaRDI portal
Publication:1128978
DOI10.1016/S0304-3975(97)00139-4zbMATH Open0902.68029MaRDI QIDQ1128978FDOQ1128978
Authors: Christoph Brzoska 
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
Cites Work
- Maintaining knowledge about temporal intervals
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards a general theory of action and time
- Title not available (Why is that?)
- A really temporal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Real-time logics: Complexity and expressiveness
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Semantics of Predicate Logic as a Programming Language
- Title not available (Why is that?)
- Title not available (Why is that?)
- Specifying Concurrent Program Modules
- A resolution principle for a logic with restricted quantifiers
- Negation and constraint logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- MOLOG: A system that extends PROLOG with modal logic
- Concerning the semantic consequence relation in first-order temporal logic
- Towards a unified theory of intensional logic programming
- Nonclausal deduction in first-order temporal logic
- Propositional dynamic logic of nonregular programs
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
- Uniform proofs as a foundation for logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Temporal logic programming
- The power of temporal proofs
- Title not available (Why is that?)
- N-Prolog: An extension of Prolog with hypothetical implications. I.
- Clausal intuitionistic logic I. fixed-point semantics
- Clausal intuitionistic logic II. tableau proof procedures
- Contributions to the Theory of Logic Programming
- Title not available (Why is that?)
- Constraint logic programming for reasoning about discrete event processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The integration of functions into logic programming: From theory to practice
- Title not available (Why is that?)
- Specifying message passing and time-critical systems with temporal logic
- Handling infinite temporal data
- Title not available (Why is that?)
- On Fourier's algorithm for linear arithmetic constraints
- Title not available (Why is that?)
- A Temporal extension of Prolog
- Title not available (Why is that?)
- Corrigendum to ``Termination of rewriting
- Title not available (Why is that?)
- Semantics-Based Translation Methods for Modal Logics
- Multimodal logic programming using equational and order-sorted logic
- Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
- On the expressiveness of temporal logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Axiomatic semantics of projection temporal logic programs
- Linear time-dependent constraints programming with MSVL
- Semantics of temporal constrained objects
- LOGSPACE and PTIME characterized by programming languages
- Operational semantics of Framed Tempura
- Metric temporal reasoning with less than two clocks
- Metric temporal answer set programming over timed traces
- On Metric Temporal Łukasiewicz Logic
- A note on unbounded metric temporal logic over dense time domains
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
This page was built for publication: Programming in metric temporal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128978)
