Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.
Sara NegriEdi PavlovicPublished in: Stud Logica (2021)
Keyphrases
- theoretic analysis
- logical framework
- higher order logic
- coalition logic
- multi agent systems
- inference rules
- linear logic
- model checking
- proof theory
- proof theoretic
- modal logic
- theorem prover
- agent architecture
- theorem proving
- natural deduction
- sequent calculus
- decision procedures
- default reasoning
- multi agent
- belief revision
- reactive planning
- reasoning tasks
- environmental protection
- government agencies
- robotic systems
- conditional logic
- multi agent architecture
- cut elimination
- logic programming
- sequent calculi