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

DOI10.1093/LOGCOM/6.2.271zbMATH Open0854.68093OpenAlexW2018673128MaRDI QIDQ4881300FDOQ4881300

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

Recommendations

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

zbMATH Keywords

temporal logicintermingling

Mathematics Subject Classification ID

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

Cited In (4)

• A general framework for reasoning about change
• Title not available (Why is that?)
• 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)