Coalgebraic Predicate Logic.

Tadeusz Litak Dirk Pattinson Katsuhiko Sano Lutz Schröder

Published in: ICALP (2) (2012)

Keyphrases

predicate logic
knowledge representation and reasoning
formal logic
temporal logic
semantic network
predicate calculus
semantic net
lower level
computational linguistics
order sorted
artificial intelligence
high level
highly expressive
multi agent
knowledge representation