Virtual Logic-Finite Language and the Imagination of Infinity.
Louis H. KauffmanPublished in: Cybern. Hum. Knowing (2016)
Keyphrases
- linear temporal logic
- formal language
- dynamic logic
- logic programming
- programming language
- augmented reality
- intuitionistic logic
- logic programming language
- operational semantics
- virtual environment
- modal operators
- virtual world
- virtual reality
- formal theory
- predicate calculus
- declarative semantics
- natural language
- specification language
- classical logic
- representation language
- multi valued
- formal logic
- temporal logic
- lambda calculus
- formal semantics
- modeling language
- proof theory
- programs written
- artificial intelligence