Towards a Common Language for the Discussion of Time Based on Prior's Tense Logic.
Peter ØhrstrømPublished in: COST TD0904 International Workshop (2010)
Keyphrases
- formal language
- proof theory
- programming language
- dynamic logic
- language learning
- formal theory
- natural language
- operational semantics
- formal logic
- predicate calculus
- linear temporal logic
- asynchronous circuits
- modal operators
- fixed point semantics
- concurrent programming
- agent programming
- neural network
- prior knowledge
- database language
- prior information
- logic programming language
- logic programming
- maximum a posteriori
- conditional logic
- logical framework
- automated reasoning
- modal logic