Second-Order Generalised Algebraic Theories: Signatures and First-Order Semantics.
Ambrus KaposiSzumi XiePublished in: FSCD (2024)
Keyphrases
- higher order
- sound and complete with respect
- logical theories
- logic programming
- classical first order logic
- model theoretic
- conditional logic
- action theories
- algebraic structure
- logical formulas
- first order logic
- semantics of logic programs
- theory revision
- formal semantics
- fixpoint
- difference equations
- theoretical framework
- dynamic logic
- propositional theories
- operational semantics
- general theory
- default reasoning
- deductive databases
- semantic information
- logic programs
- modal operators
- cognitive psychology
- situation calculus
- reasoning about actions
- defeasible logic
- high order