Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits.
Gilles DowekMurdoch James GabbayPublished in: CoRR (2023)
Keyphrases
- predicate logic
- highly expressive
- predicate calculus
- knowledge representation language
- knowledge representation and reasoning
- fluent calculus
- logical formulas
- formal logic
- logic programming
- semantic net
- temporal logic
- computational linguistics
- semantic network
- first order logic
- multi agent
- databases
- reasoning systems
- lower level
- logic programs
- domain specific
- software engineering
- information extraction
- knowledge representation
- search algorithm
- high level