Contents

• Preface
• Basic Modal Logic
  • Introduction
  • Truth bearers
  • Propositional Logic
  • Alethic Logic
  • Temporal Logic
  • Systems combining temporal and alethic operators
  • Extensions to Temporal Logic
  • Conclusion
  
  
• Modal logic
  • Systems of Modal logic
  • Alethic Logic
  • Temporal Propositional Logic
  
  
• Branching Temporal Logic
  • The topology of time
  • Syntax of
  
  
• Conclusion
• Restrictions on the accessibility relation
• The modal systems matrix
• Bibliography
• About this document ...

1