Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.
Kees van BerkelTim LyonPublished in: JELIA (2019)
Keyphrases
- logical framework
- epistemic logic
- coalition logic
- inference rules
- multi agent systems
- reasoning tasks
- sequent calculi
- temporal reasoning
- interval algebra
- proof theory
- conditional logic
- modal logic
- belief revision
- propositional dynamic logic
- temporal relations
- nonmonotonic logics
- temporal dimension
- relational databases
- temporal information
- theorem prover
- temporal constraints
- linear logic
- expressive power
- reasoning problems
- logic programming
- pspace complete
- proof theoretic
- valued semantics
- proof procedures
- kripke models
- computational properties
- argumentation frameworks
- satisfiability problem
- spatial relations
- first order logic
- data model
- computational complexity