Login / Signup

Extensions of Kripke models.

Mostafa Zaare
Published in: Log. J. IGPL (2017)
Keyphrases
  • kripke models
  • modal logic
  • default logic
  • probability distribution
  • object oriented