Sets in Prikry and Magidor generic extensions.

Tom Benhamou Moti Gitik

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

default logic
default theories
real time
domain specific
nonmonotonic reasoning
three dimensional
wide range
multiresolution
query language
efficient implementation