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

DOI10.1093/LOGCOM/6.2.271MaRDI QIDQ4881300zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A propositional logic of temporal connectives
• A propositional modal logic of time intervals
• A non-reified temporal logic

Cited in

(4)

• A general framework for reasoning about change
• scientific article; zbMATH DE number 2064461 (Why is no real title available?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4881300)