Material Detail

Introduction to Modal Logic

Introduction to Modal Logic

This video was recorded at Summer Schools in Logic and Learning, Canberra 2009. We cover the syntax, Kripke semantics, correspondence theory and tableaux-style proof theory of propositional modal and temporal logics. These logics have important applications in a diverse range of fields incuding Artificial Intelligence, Theoretical Computer Science and Hybrid Systems.... Show More


  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material


Disciplines with similar materials as Introduction to Modal Logic


Log in to participate in the discussions or sign up if you are not already a MERLOT member.