A Unifying Theorem for Algebraic Semantics and Dynamic Logics
Hajnal AndrékaIrène GuessarianIstván NémetiPublished in: Inf. Comput. (1987)
Keyphrases
- intuitionistic logic
- epistemic logic
- nonmonotonic logics
- proof theory
- conditional logic
- logic programming
- classical logic
- propositional dynamic logic
- algebraic structure
- computational properties
- databases
- formal semantics
- expressive power
- relational databases
- natural language
- bayesian networks
- knowledge base
- neural network