Localizing finite-depth Kripke models.

S. Mojtaba Mojtahedi

Published in: Log. J. IGPL (2019)

Keyphrases

kripke models
modal logic
finite number
machine learning
artificial intelligence
depth map
high level
dynamic programming
multi view