Note on a Lemma of Ladkin

DOI10.1093/logcom/6.1.1zbMath0838.03014OpenAlexW2083544119WikidataQ125007447 ScholiaQ125007447MaRDI QIDQ4870064

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)

Related Items (3)

Complementation in representable theories of region-based space ⋮ Allen-like theory of time for tree-like structures ⋮ MACE4 and SEM: A Comparison of Finite Model Generators

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