The Logics of Strict-Tolerant Logic.
Eduardo Alejandro BarrioLucas RosenblattDiego TajerPublished in: J. Philos. Log. (2015)
Keyphrases
- modal logic
- classical logic
- propositional dynamic logic
- proof theory
- propositional calculus
- nonmonotonic logics
- epistemic logic
- computational properties
- knowledge representation formalisms
- proof theoretic
- conditional logic
- proof procedures
- coalition logic
- sequent calculi
- inference rules
- intuitionistic logic
- expressive power
- truth values
- higher order logic
- logic programming
- horn logic
- order sorted
- modal operators
- logical framework
- set theory
- multi valued
- dynamic logic
- temporal logic
- data sets
- autoepistemic logic
- programming language
- artificial intelligence
- sound and complete axiomatization