Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case.
Christiano BragaBruno LopesPublished in: SBMF (2015)
Keyphrases
- propositional dynamic logic
- proof theory
- reasoning about actions
- horn logic
- intuitionistic logic
- computational properties
- proof theoretic
- modal logic
- automated reasoning
- dynamic logic
- classical logic
- knowledge representation formalisms
- logic programming
- default reasoning
- legal cases
- propositional calculus
- conditional logic
- reasoning engine
- expressive power
- nonmonotonic logics
- logical framework
- inheritance reasoning
- knowledge representation
- deductive reasoning
- proof procedures
- order of magnitude reasoning
- abductive reasoning
- logical rules
- human reasoning
- reasoning problems
- proof procedure