An investigation of 'non-intermingling' principles in temporal logic

DOI10.1093/logcom/6.2.271zbMath0854.68093OpenAlexW2018673128MaRDI QIDQ4881300

Antony Galton

Publication date: 13 January 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/facea563208beff2b7cfef437ad890a27b1e1382

zbMATH Keywords

temporal logicintermingling

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (3)

A general framework for reasoning about change ⋮ Temporal properties of repetitive entities ⋮ A unifying semantics for time and events

This page was built for publication: An investigation of 'non-intermingling' principles in temporal logic