Login / Signup
Partially-Elementary Extension Kripke Models: A Characterization and Applications.
Tomasz Polacik
Published in:
Log. J. IGPL (2006)
Keyphrases
</>
modal logic
kripke models
learning algorithm