Between the Event Calculus and Finite State Temporality

DOI10.1007/978-3-662-53042-9_7zbMath1478.03055OpenAlexW2489272254MaRDI QIDQ2835048

Derek Kelleher, Carl Vogel, Tim Fernando

Publication date: 1 December 2016

Published in: Formal Grammar (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-53042-9_7

zbMATH Keywords

event calculusfinite-state temporalitytype coercion

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other nonclassical logic (03B60) Logic of natural languages (03B65) Model theory of finite structures (03C13)

Cites Work

• A logic-based calculus of events
• A propositional modal logic of time intervals
• Finite-State Temporal Projection
• Unnamed Item
• Unnamed Item

This page was built for publication: Between the Event Calculus and Finite State Temporality