scientific article; zbMATH DE number 5241984

zbMATH Open1213.03028MaRDI QIDQ5445173

Vladimir Rybakov

Publication date: 3 March 2008

Title of this publication is not available (Why is that?)

zbMATH Keywords

decidabilitysatisfiability problemlinear temporal logicadmissible consecutions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (4)

Decidable temporal and sequential relevant logics* ⋮ Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals ⋮ On the Priorean temporal logic with \([d]\) over the real line ⋮ Logical consecutions in discrete linear temporal logic

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 Q5445173)