Kite of Modal Logic

• solid line at different height: <ₛ, proper weaker than
• solid line at same height: =ₛ, equivalent
• dotted line: ≤ₛ, weaker than

Introduction

Visualize of formalized result in https://github.com/FormalizedFormalLogic/Foundation.

Todo

• GENERATE AUTOMATICALLY