Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics.
Kees van BerkelTim LyonPublished in: CoRR (2019)
Keyphrases
- logical framework
- coalition logic
- epistemic logic
- inference rules
- multi agent systems
- reasoning tasks
- sequent calculi
- conditional logic
- temporal reasoning
- model checking
- modal logic
- temporal dimension
- interval algebra
- temporal relations
- temporal constraints
- belief revision
- nonmonotonic logics
- propositional dynamic logic
- reasoning problems
- temporal information
- proof theory
- linear logic
- proof theoretic
- relational databases
- default reasoning
- spatial relations
- data model
- database systems
- database design
- reinforcement learning
- propositional logic
- logic programming
- proof procedures
- object oriented