Past–future separation and normal forms in temporal predicate logic specifications

DOI10.1016/J.JALGOR.2009.02.008zbMath1183.03018OpenAlexW2031496254MaRDI QIDQ3497515

Jan Treur

Publication date: 24 July 2009

Published in: Journal of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgor.2009.02.008

zbMATH Keywords

normal formpredicate logictemporal specificationexecutable temporal logicpast-future separation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

How the brain creates emergent information by the development of mental models: an analysis from the perspective of temporal factorisation and criterial causation

This page was built for publication: Past–future separation and normal forms in temporal predicate logic specifications