On the regular extension axiom and its variants.

Michael Rathjen Robert S. Lubarsky

Published in: Math. Log. Q. (2003)

Keyphrases

modal logic
real time
data mining
learning algorithm
digital libraries
expert systems
control system