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