Forcing with the Anti-Foundation axiom.

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

Keyphrases

inference rules
modal logic
multimedia
domain knowledge
theoretical foundation
database
databases
multi agent
digital libraries
learning process