A Finite Model Property for Gödel Modal Logics.

Xavier Caicedo George Metcalfe Ricardo Oscar Rodríguez Jonas Rogger

Published in: WoLLIC (2013)

Keyphrases

computational model
probabilistic model
mathematical model
markov decision processes
modal logic
high level
objective function
multi agent systems
inference rules