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