Login / Signup

Products of modal logics and tensor products of modal algebras.

Dov M. GabbayIlya ShapirovskyValentin B. Shehtman
Published in: J. Appl. Log. (2014)
Keyphrases
  • modal logic
  • decision procedures
  • inference rules
  • temporal logic
  • nonmonotonic logics
  • epistemic logic
  • expert systems
  • default logic
  • autoepistemic logic
  • integrity constraints
  • dynamic logic