Keyphrases
- formal language
- ctl model update
- modal logic
- logic programming
- computational logic
- mathematical theory
- operational semantics
- highly expressive
- model theoretic
- formal methods
- multi valued
- probabilistic logic
- formal descriptions
- predicate logic
- classical logic
- artificial intelligence
- information retrieval
- neural network
- logical framework
- database
- automated reasoning
- formal models
- probability theory
- formal model
- social networks
- search engine
- formal theory
- proof theory
- real time