Login / Signup

Pure Logic with Branched Quantifiers.

Marcin Mostowski
Published in: Math. Log. Q. (1989)
Keyphrases
  • logic programming
  • set theory
  • real world
  • modal logic
  • search algorithm
  • first order logic
  • computational properties
  • data sets
  • decision making
  • data structure
  • formal theory