Note on a Lemma of Ladkin

DOI10.1093/LOGCOM/6.1.1MaRDI QIDQ4870064zbMATH OpenOpenAlexWikidataFDO

Authors Antony Galton

Publication date 17 March 1996

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/6.1.1

zbMATH Keywords

axiomatizationlogic of temporal intervals

Mathematics Subject Classification ID

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

Recommendations

• The time ontology of Allen's interval algebra
• On relations between intervals
• A propositional modal logic of time intervals
• Completeness of temporal logics over infinite intervals.
• Events and time in a finite and closed world

Cited in

(7)

• On a lemma due to Ladyzhenskaya and Solonnikov and some applications
• scientific article; zbMATH DE number 5194827 (Why is no real title available?)
• A note on the theorem of Lakshmikantham and Leela
• scientific article; zbMATH DE number 1208125 (Why is no real title available?)
• Complementation in representable theories of region-based space
• MACE4 and SEM: a comparison of finite model generators
• Allen-like theory of time for tree-like structures

This page was built for publication: Note on a Lemma of Ladkin

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