A temporal logic for proving properties of topologically general executions

DOI10.1006/inco.1996.0010zbMath0861.03024OpenAlexW2000847132MaRDI QIDQ1917070

Menachem Magidor, Rachel Ben-Eliyahu

Publication date: 12 May 1997

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

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

zbMATH Keywords

finite model propertytemporal logictopological interpretationparallel programsprobabilistic programsprogram propertiesco-meagre sets

Mathematics Subject Classification ID

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

Related Items (1)

A temporal negative normal form which preserves implicants and implicates

This page was built for publication: A temporal logic for proving properties of topologically general executions