Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions

MaRDI QIDQ3434497zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 2 May 2007

zbMATH Keywords

admissible rulestemporal logiclinear temporal logicinference ruleslogical consequenceconsecutions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Recommendations

• Logical consecutions in discrete linear temporal logic
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility
• Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous
• Linear temporal logic LTL: basis for admissible rules

Cited in

(7)

• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition
• Inference in temporal next-time logic
• Decidability w.r.t. logical consecutions of linear temporal logic extended by Since and Previous
• Linear temporal logic LTL: basis for admissible rules
• Temporal logics with incommensurable distances are undecidable
• Linear temporal logic with non-transitive time, algorithms for decidability and verification of admissibility

This page was built for publication: Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions

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