S5 × S5 × S5 Lacks the Finite Model Property.

Published in: Advances in Modal Logic (2000)

Keyphrases

computational model
mathematical model
statistical model
parameter estimation
real time
learning algorithm
artificial intelligence
data structure
artificial neural networks
management system
sensitivity analysis
neural network model
bayesian framework
formal model
network model
hybrid model