Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators.
Roy DyckhoffMehrnoosh SadrzadehJulien TruffautPublished in: MFPS (2012)
Keyphrases
- proof theory
- modal operators
- situation calculus
- default reasoning
- modal logic
- partially ordered
- proof theoretic
- automated reasoning
- reasoning problems
- reasoning about actions
- communicative acts
- decision procedures
- nonmonotonic logics
- data model
- dynamic logic
- nonmonotonic reasoning
- classical logic
- query language
- multiple agents
- reasoning tasks
- default logic
- data exchange
- integrity constraints
- description logics