Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.
Grigory K. OlkhovikovHeinrich WansingPublished in: Stud Logica (2019)
Keyphrases
- logical framework
- epistemic logic
- multi agent systems
- inference rules
- reasoning tasks
- coalition logic
- belief revision
- deductive reasoning
- probabilistic inference
- logical inference
- inference mechanism
- cooperative
- table of contents
- inference process
- classical logic
- abductive reasoning
- model checking
- environmental protection
- logic programming
- easy to follow
- modal logic
- decision making