Login / Signup
Syntactic Refutations against Finite Models in Modal Logic.
Tomasz F. Skura
Published in:
Notre Dame J. Formal Log. (1994)
Keyphrases
</>
modal logic
temporal logic
probabilistic model
artificial intelligence
nonmonotonic logics
natural language
inference rules
explanation based generalization