Login / Signup

Modular Sequent Systems for Modal Logic.

Kai BrünnlerLutz Straßburger
Published in: TABLEAUX (2009)
Keyphrases
  • modal logic
  • inference rules
  • temporal logic
  • decision procedures
  • classical logic
  • epistemic logic
  • management system
  • conditional logic
  • distributed systems
  • default logic
  • computer systems
  • complex systems
  • dynamic logic