Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms

DOI10.1007/11753728_33zbMath1185.03022OpenAlexW1494361518MaRDI QIDQ3434706

Vladimir Vladimirovich Rybakov

Publication date: 2 May 2007

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11753728_33

zbMATH Keywords

algorithmslogical consequenceadmissible ruleslinear temporal logicinference ruleslogic in computer scienceconsecutions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (10)

Multiagent temporal logics with multivaluations ⋮ Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ Unnamed Item ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Multi-agent logics with multi-valuations and intensional logical operations ⋮ 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 ⋮ Linear temporal logic with until and next, logical consecutions ⋮ Decidability: theorems and admissible rules ⋮ Canonical rules

This page was built for publication: Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms