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