Embedding Logics into Product Logic.
Matthias BaazPetr HájekDavid SvejdaJan KrajícekPublished in: Stud Logica (1998)
Keyphrases
- modal logic
- classical logic
- proof theory
- propositional dynamic logic
- propositional calculus
- nonmonotonic logics
- epistemic logic
- coalition logic
- proof theoretic
- intuitionistic logic
- logic programming
- horn logic
- conditional logic
- inference rules
- truth values
- modal operators
- knowledge representation formalisms
- proof procedures
- higher order logic
- sequent calculi
- order sorted
- computational properties
- logical framework
- temporal logic
- multi valued
- life cycle
- logic programs
- model checking
- classical first order logic
- valued logic
- expressive power
- defeasible logic
- propositional variables
- automated reasoning
- default logic
- propositional logic
- nonmonotonic reasoning
- default reasoning
- dynamic logic
- asynchronous circuits
- autoepistemic logic