Login / Signup

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.

Mark KaminskiSigurd SchneiderGert Smolka
Published in: TABLEAUX (2009)
Keyphrases
  • modal logic
  • automated reasoning
  • sequent calculi
  • alternating time temporal logic
  • logic programming
  • classical logic
  • asynchronous circuits
  • hybrid approaches
  • database
  • data model
  • decision procedures
  • proof procedure