Login / Signup

Completing the Picture: Complexity of Graded Modal Logics with Converse.

Bartosz BednarczykEmanuel KieronskiPiotr Witkowski
Published in: Theory Pract. Log. Program. (2021)
Keyphrases
  • modal logic
  • inference rules
  • decision procedures
  • temporal logic
  • classical logic
  • epistemic logic
  • worst case
  • nonmonotonic logics
  • data model
  • bayesian networks
  • default logic