This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning Domain Description ...

Linear logic is one of the most studied logics in theoretical computer science, especially from the denotational semantics point of view. Several important models, such as coherence spaces or games, ...