search

FormalizedFormalLogic / Foundation

Lean4 Logic Formalization
https://formalizedformallogic.github.io/Summary/
Apache License 2.0
84 stars 5 forks source link

Rewrite Kripke Semantics for Modal Logic #158

Closed SnO2WMaN closed 2 weeks ago

SnO2WMaN commented 2 weeks ago

@iehality

以前お伝えしたように，Logic.Kripkeは削除する予定なので，Logic.Kripke.Basicだけ残して他は全部削除した．どこかのタイミングでIntFO側をこれから剥がしてもらえると助かる．