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