From Kripke Models to Algebraic Counter-Valuations.

Sara Negri Jan von Plato

Published in: TABLEAUX (1998)

Keyphrases

kripke models
modal logic
mechanism design
combinatorial auctions
learning algorithm
autonomous agents