A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic.
Tomás LávickaCarles NogueraPublished in: Stud Logica (2017)
Keyphrases
- propositional dynamic logic
- modal logic
- classical logic
- epistemic logic
- proof theory
- propositional calculus
- nonmonotonic logics
- higher level
- computational properties
- higher order logic
- dynamic logic
- proof theoretic
- reasoning about actions
- logic programming
- order sorted
- knowledge representation formalisms
- abstraction hierarchy
- sequent calculi
- conditional logic
- higher order
- coalition logic
- intuitionistic logic
- predicate logic
- lower level
- truth values
- horn logic
- neural network
- classical first order logic
- temporal logic
- propositional logic
- default logic
- proof procedures
- nonmonotonic reasoning
- set theory
- computer algebra
- algebraic structure
- natural deduction