Login / Signup

Remarks about the unification types of some locally tabular normal modal logics.

Philippe BalbianiÇigdem GencerMaryam RostamigivTinko Tinchev
Published in: Log. J. IGPL (2023)
Keyphrases
  • modal logic
  • decision procedures
  • inference rules
  • temporal logic
  • nonmonotonic logics
  • theorem proving
  • classical logic
  • epistemic logic
  • knowledge base
  • higher order
  • default logic
  • state space