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