scientific article; zbMATH DE number 1088203
From MaRDI portal
Publication:4364518
Recommendations
- Decidability and incompleteness results for first-order temporal logics of linear time
- On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic
- scientific article; zbMATH DE number 1405444
- On finite domains in first-order linear temporal logic
- A complete axiomatic characterization of first-order temporal logic of linear time
- scientific article; zbMATH DE number 2047494
- Finite-trace linear temporal logic: coinductive completeness
- Completeness theorem for a first order linear-time logic
- scientific article; zbMATH DE number 3968560
- A decidable and expressive fragment of many-sorted first-order linear temporal logic
Cited in
(11)- Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
- Finite-trace linear temporal logic: coinductive completeness
- Effective replaceability of the omega-rule for restricted sequents of the first-order linear temporal logic
- On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic
- A decision procedure for nonperiodic sequents of the first-order linear temporal logic
- A survey on temporal logics for specifying and verifying real-time systems
- scientific article; zbMATH DE number 517085 (Why is no real title available?)
- scientific article; zbMATH DE number 2047494 (Why is no real title available?)
- scientific article; zbMATH DE number 1502114 (Why is no real title available?)
- A bounded domain property for an expressive fragment of first-order linear temporal logic
- Bounded linear-time temporal logic: a proof-theoretic investigation
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 Q4364518)
