Cut-free Calculi and Relational Semantics for Temporal STIT Logics.
Kees van BerkelTim LyonPublished in: CoRR (2019)
Keyphrases
- logical framework
- epistemic logic
- coalition logic
- inference rules
- multi agent systems
- reasoning tasks
- sequent calculi
- conditional logic
- belief revision
- modal logic
- interval algebra
- proof theory
- temporal reasoning
- nonmonotonic logics
- temporal constraints
- relational databases
- temporal relations
- proof theoretic
- temporal dimension
- linear logic
- temporal information
- model checking
- propositional dynamic logic
- proof procedures
- description logics
- reasoning problems
- expressive power
- data model
- valued logic
- algebraic operators
- modal operators
- nonmonotonic reasoning
- spatial relations
- vague concepts
- logic programming
- cooperative
- computational properties