scientific article; zbMATH DE number 1405444
From MaRDI portal
Publication:4938418
Recommendations
Cited in
(18)- On finite domains in first-order linear temporal logic
- On temporal logic S4Dbr
- LTL over integer periodicity constraints
- A general tableau method for propositional interval temporal logics: theory and implementation
- Labelled tableaux for propositional linear time logic over finite frames
- scientific article; zbMATH DE number 1678387 (Why is no real title available?)
- A decidable temporal relevant logic for time-dependent relevant human reasoning
- Temporal BI: proof system, semantics and translations
- scientific article; zbMATH DE number 1088203 (Why is no real title available?)
- scientific article; zbMATH DE number 2047494 (Why is no real title available?)
- Representing any-time and program-iteration by infinitary conjunction
- scientific article; zbMATH DE number 6174011 (Why is no real title available?)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
- Automated Reasoning
- A bounded domain property for an expressive fragment of first-order linear temporal logic
- First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications
- Bounded linear-time temporal logic: a proof-theoretic investigation
- Combining linear-time temporal logic with constructiveness and paraconsistency
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 Q4938418)
