Login / Signup

Homomorphisms and chains of Kripke models.

Morteza MoniriMostafa Zaare
Published in: Arch. Math. Log. (2011)
Keyphrases
  • kripke models
  • modal logic
  • graph theory
  • machine learning
  • database systems
  • finite state automata
  • knowledge base