Not Every "Tabular" Predicate Logic is Finitely Axiomatizable.

Dmitrij P. Skvortsov

Published in: Stud Logica (1997)

Keyphrases

predicate logic
knowledge representation and reasoning
formal logic
finite number
temporal logic
semantic net
semantic network
computational linguistics
predicate calculus
inductive inference
lower level
highly expressive
fluent calculus
model checking