A unifying theorem for algebraic semantics and dynamic logics.
Hajnal AndrékaIrène GuessarianIstván NémetiPublished in: FCT (1985)
Keyphrases
- intuitionistic logic
- proof theory
- expressive power
- higher order
- databases
- nonmonotonic logics
- conditional logic
- natural language
- algebraic structure
- modal logic
- formal semantics
- propositional dynamic logic
- higher order logic
- epistemic logic
- autoepistemic logic
- computational properties
- partial order
- dynamic environments
- logic programming
- metadata
- genetic algorithm
- neural network