Deriving Logical Relations from Interpretations of Predicate Logic.

Claudio Hermida Uday S. Reddy Edmund P. Robinson

Published in: MFPS (2019)

Keyphrases

predicate logic
predicate calculus
logical formulas
formal logic
knowledge representation and reasoning
semantic net
temporal logic
semantic relations
semantic network
lower level
computational linguistics
logical structure
fluent calculus
order sorted