Equational Logic and Categorical Semantics for Multi-Languages.
Samuele BuroRoy L. CroleIsabella MastroeniPublished in: MFPS (2020)
Keyphrases
- highly expressive
- formal language
- logic programming
- proof theory
- sound and complete axiomatization
- sound and complete with respect
- computational properties
- formal semantics
- propositional dynamic logic
- expressive power
- epistemic logic
- nonmonotonic logics
- logical framework
- specification languages
- modal logic
- predicate calculus
- predicate logic
- operational semantics
- constraint language
- database languages
- conditional logic
- alternating time temporal logic
- theorem proving
- first order logic
- classical logic
- proof theoretic
- active rules
- rule engine
- database query languages
- semantic information
- dynamic logic
- abstract argumentation frameworks
- language independent
- algebraic structure
- derivation rules
- description logics
- intuitionistic logic
- theorem prover
- knowledge representation
- kripke models
- fixed point semantics
- knowledge base
- knowledge representation languages
- defeasible logic
- default reasoning
- linear logic
- asynchronous circuits
- automated reasoning
- reasoning tasks
- autoepistemic logic
- action theories
- reasoning about actions