Individual Concepts in Modal Predicate Logic.

Published in: J. Philos. Log. (2005)

Keyphrases

predicate logic
semantic network
knowledge representation and reasoning
formal logic
semantic net
temporal logic
predicate calculus
computational linguistics
modal logic
logical formulas
lower level
data mining
artificial intelligence
expert systems
order sorted