Reasoning in a restricted temporal logic

DOI10.1006/inco.1993.1006zbMath0771.03007OpenAlexW2025713304MaRDI QIDQ1207955

S. Singh

Publication date: 16 May 1993

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1993.1006

zbMATH Keywords

distributed systemssatisfiability\(\omega\)-regular languagesalwayseventuallyinterval modal logiclinear time propositional temporal logicreasoning about communication systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Quantitative temporal logics over the reals: PSpace and below ⋮ Temporal Specifications with Accumulative Values ⋮ The complexity of the temporal logic with ``until over general linear time ⋮ The complexity of temporal logic over the reals ⋮ Unnamed Item ⋮ An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic