Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property.

Ilya Shapirovsky

Published in: WoLLIC (2019)

Keyphrases

modal logic
probabilistic model
computational model
mathematical model
neural network
objective function
decision procedures