A Finite Model Property for Gödel Modal Logics.

Xavier Caicedo George Metcalfe Ricardo Oscar Rodríguez Jonas Rogger

Published in: TACL (2013)

Keyphrases

mathematical model
computational model
probability distribution
high level
objective function
probabilistic model
modal logic
inference rules