Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators.
Roy DyckhoffMehrnoosh SadrzadehJulien TruffautPublished in: ACM Trans. Comput. Log. (2013)
Keyphrases
- proof theory
- intuitionistic logic
- proof theoretic
- modal operators
- situation calculus
- default reasoning
- modal logic
- automated reasoning
- classical logic
- linear logic
- partially ordered
- reasoning problems
- temporal logic
- description logics
- nonmonotonic reasoning
- belief revision
- data model
- artificial intelligence
- expressive power