Inference in temporal next-time logic

MaRDI QIDQ3012543zbMATH OpenFDO

Authors Vladimir Rybakov

Publication date 6 July 2011

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Logical consecutions in discrete linear temporal logic
• Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions
• Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
• Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK
• Linear temporal logic LTL: basis for admissible rules

Cited in

(1)

• Inference of ranking functions for proving temporal properties by abstract interpretation

This page was built for publication: Inference in temporal next-time logic

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