Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
Natalia SlusarzEkaterina KomendantskayaMatthew L. DaggittRobert J. StewartKathrin StarkPublished in: LPAR (2023)
Keyphrases
- proof theory
- propositional dynamic logic
- modal operators
- description logics
- computational properties
- epistemic logic
- nonmonotonic logics
- tableau calculus
- proof theoretic
- knowledge representation formalisms
- modal logic
- reasoning problems
- conditional logic
- model theoretic
- default reasoning
- valued semantics
- proof procedures
- expressive power
- higher order logic
- number restrictions
- intuitionistic logic
- kripke models
- classical logic
- default logic
- logic programming
- dynamic logic
- sound and complete axiomatization
- logical framework
- rule engine
- reasoning about actions
- knowledge representation
- objective function
- nonmonotonic reasoning
- inference rules
- automated reasoning
- autoepistemic logic
- propositional calculus
- coalition logic
- decision procedures
- belief revision
- valued logic
- logic programs
- reasoning tasks
- default theories
- model checking
- situation calculus
- ontological reasoning
- formal semantics
- sound and complete with respect
- knowledge representation and reasoning
- knowledge base