Reasoning in a restricted temporal logic
From MaRDI portal
Publication:1207955
DOI10.1006/inco.1993.1006zbMath0771.03007MaRDI QIDQ1207955
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
distributed systems; satisfiability; \(\omega\)-regular languages; always; eventually; interval modal logic; linear time propositional temporal logic; reasoning about communication systems
DB lookup for MSC labels failed