Proof Theory and Decision Procedures for Deontic STIT Logics.
Tim S. LyonKees van BerkelPublished in: CoRR (2024)
Keyphrases
- decision procedures
- proof theory
- automated reasoning
- logical framework
- reasoning problems
- modal logic
- reasoning tasks
- coalition logic
- multi agent systems
- temporal logic
- inference rules
- theorem proving
- default reasoning
- theorem prover
- belief revision
- proof theoretic
- default logic
- knowledge representation
- model checking
- satisfiability problem
- model theoretic
- probabilistic reasoning
- machine learning
- linear logic
- constraint satisfaction problems
- artificial intelligence