An epistemic approach to paraconsistency: a logic of evidence and truth.
Walter CarnielliAbilio RodriguesPublished in: Synth. (2019)
Keyphrases
- epistemic logic
- truth values
- dynamic epistemic logic
- modal operators
- modal logic
- logic programming
- propositional dynamic logic
- multi valued
- empirical evidence
- inference rules
- automated reasoning
- logical framework
- belief change
- evidential reasoning
- classical logic
- valued logic
- model checking
- expert systems
- dempster shafer theory
- logic program updates
- databases
- abductive reasoning
- set theory
- probability theory
- theoretical framework
- multi agent systems
- neural network