Integrating Temporal Annotations in a Modular Logic Language.
Vítor NogueiraSalvador AbreuPublished in: INAP/WLP (2007)
Keyphrases
- linear temporal logic
- spatio temporal
- dynamic logic
- formal language
- operational semantics
- natural language
- semantic annotation
- proof theory
- predicate calculus
- intuitionistic logic
- programming language
- logic programming
- highly expressive
- classical logic
- lambda calculus
- formal theory
- temporal constraints
- temporal reasoning
- temporal data
- derivation rules
- space time
- modal logic
- temporal logic
- language learning
- fixed point semantics
- highly modular
- model checking
- spatial and temporal
- modal operators
- conditional logic
- metadata
- modular architecture
- natural language processing
- relational structures
- multi valued