Login / Signup

Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic.

Jim de GrootDirk Pattinson
Published in: WoLLIC (2019)
Keyphrases
  • intuitionistic logic
  • modal logic
  • classical logic
  • data model
  • integrity constraints