Relevant logic as a basis for paraconsistent epistemic logics.
Gerson ZaveruchaPublished in: J. Appl. Non Class. Logics (1992)
Keyphrases
- epistemic logic
- modal logic
- classical logic
- propositional dynamic logic
- inference rules
- modal operators
- logic programming
- dynamic epistemic logic
- truth values
- valued semantics
- model checking
- mathematical theory
- proof theory
- logical framework
- inconsistent knowledge
- propositional calculus
- nonmonotonic logics
- kripke models
- conditional logic
- horn logic
- belief change
- multi agent systems
- intuitionistic logic
- possibilistic logic
- classical first order logic
- valued logic
- higher order logic
- proof theoretic
- computation tree logic
- reasoning about actions
- proof procedures
- decision procedures
- computational properties
- reasoning tasks
- formal semantics
- temporal logic
- logic programs
- sequent calculus
- search engine
- description logics
- knowledge base