Login / Signup

The Bounded Axiom A Forcing Axiom.

Thilo Weinert
Published in: Math. Log. Q. (2010)
Keyphrases
  • inference rules
  • modal logic
  • database
  • neural network
  • information systems