Initial semantics in logics with constructors.
Daniel GâinâKokichi FutatsugiPublished in: J. Log. Comput. (2015)
Keyphrases
- nonmonotonic logics
- propositional dynamic logic
- conditional logic
- proof theory
- description logics
- higher order logic
- epistemic logic
- expressive power
- computational properties
- modal logic
- proof theoretic
- logical framework
- modal operators
- logic programming
- default reasoning
- valued semantics
- classical logic
- knowledge representation and reasoning
- intuitionistic logic
- semantic information
- reasoning tasks
- dynamic logic
- conceptual model
- proof procedures
- database systems