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, ...

Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...