Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic.
Marcelo P. FioreMakoto HamanaPublished in: LICS (2013)
Keyphrases
- predicate calculus
- modal operators
- operational semantics
- algebraic structure
- theorem proving
- logic programming
- equational theories
- proof theory
- modal logic
- epistemic logic
- sound and complete axiomatization
- logical formulas
- nonmonotonic logics
- probability theory
- proof theoretic
- action theories
- propositional dynamic logic
- sound and complete with respect
- formal semantics
- model theoretic
- defeasible logic
- semantics of logic programs
- logical framework
- theorem prover
- predicate logic
- dynamic logic
- logical theories
- constraint language
- computer algebra
- computational properties
- classical logic
- horn clauses
- algebraic operators
- situation calculus
- conditional logic
- definition language
- derivation rules
- active rules
- lexical semantics
- autoepistemic logic
- description logics
- causal reasoning
- temporal logic
- machine translation
- first order logic
- type checking
- rule engine
- rewrite systems
- propositional theories
- default reasoning
- fixed point semantics
- asynchronous circuits
- proof procedures
- formal language
- belief revision