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

zbMATH Open1124.03006MaRDI QIDQ3434497FDOQ3434497

Authors: Vladimir Rybakov 

Publication date: 2 May 2007

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

zbMATH Keywords

admissible rulestemporal logiclinear temporal logicinference ruleslogical consequenceconsecutions

Mathematics Subject Classification ID

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

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)