scientific article
From MaRDI portal
Publication:3395959
zbMath1169.03332MaRDI QIDQ3395959
Publication date: 15 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (13)
LARS: a logic-based framework for analytic reasoning over streams ⋮ Decentralised LTL monitoring ⋮ On the succinctness of some modal logics ⋮ Unnamed Item ⋮ Temporal Equilibrium Logic with past operators ⋮ On the translation of automata to linear temporal logic ⋮ A compositional automata-based semantics and preserving transformation rules for testing property patterns ⋮ On the expressiveness of TPTL and MTL ⋮ On regular temporal logics with past ⋮ From Philosophical to Industrial Logics ⋮ One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) ⋮ From Monadic Logic to PSL ⋮ Expressiveness of Hybrid Temporal Logic on Data Words
This page was built for publication:
