Model Existence in Non-Compact Modal Logic.

Yoshihito Tanaka

Published in: Stud Logica (2001)

Keyphrases

modal logic
computational model
objective function
statistical model
probabilistic model
high level
probability distribution
mathematical model
multi agent systems
prior knowledge
description logics