Login / Signup

The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF".

Vann McGee
Published in: J. Symb. Log. (1997)
Keyphrases
  • predicate logic
  • databases
  • prior knowledge
  • expert systems
  • low level
  • probabilistic model
  • knowledge acquisition
  • formal model