The Halpern-läUchli Theorem at a Measurable cardinal.

Natasha Dobrinen Dan Hathaway

Published in: J. Symb. Log. (2017)

Keyphrases

temporal logic
connected regions
digital topology
multimedia
von neumann
data sets
databases
information retrieval
genetic algorithm
objective function
multi agent systems
multiresolution
model checking
modal logic
reasoning about actions