Weak Arithmetics and Kripke Models.

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

Keyphrases

kripke models
modal logic
artificial intelligence
multi agent
natural language
software engineering
general purpose
probabilistic inference