On the Finite Model Property of Intuitionistic Modal Logics over MIPC.

Takahito Aoto Hiroyuki Shirasu

Published in: Math. Log. Q. (1999)

Keyphrases

modal logic
probabilistic model
neural network
probability distribution
fuzzy logic
probabilistic reasoning
initial state