/logical-verification-project

proving some basic theorems in modal logic

Primary LanguageLean

lean project

This is a personal project for the Logical Verification course in Lean.

The goal is prove some elementary results on the semantics of basic modal logic. Formula satisfiability preservation under bisimulation and such.