Introduction to the special issue "Doxastic Agency and Epistemic Responsibility".
Andrea KruseHeinrich WansingPublished in: Synth. (2017)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- model checking
- modal logic
- multi agent systems
- computation tree logic
- environmental protection
- logical framework
- inference rules
- multi faceted
- formal semantics
- government agencies
- real time
- search algorithm
- belief change
- mathematical theory
- model checker
- information technology
- case study
- neural network
- learning environment