search

FormalizedFormalLogic / Foundation

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

feat(Modal): Unnecessitation of Modal Disjunctive Property #144

Closed SnO2WMaN closed 1 month ago

SnO2WMaN commented 1 month ago

例えばKはMDPを持つためUnnecessitationはadmissibleになる．