SnO₂WMaN

Add option for ignoring `no-extraneous-dependencies` by package name

5

I think there should be an option in `import/no-extraneous-dependencies` to exclude by package name for such as non-explicitly in package.json sub dependency. For example `@storybook/addon-actions` that normally and should be...

refactor(Modal): Commonize Kripke Semantics Part.2

2

相当に時間がかかりそうなのでのんびりとしたペースで行う．

不要に複雑なため，現状のModalでは直観主義様相論理は諦め，古典的なものだけを考える．そのために論理式の定義を変更．

Cache not working

1

リポジトリ移管以降、キャッシュがうまく効いていない気がする． https://github.com/FormalizedFormalLogic/Foundation/actions/runs/10236132937/job/28317834390

`𝐊𝐇`はKripke完全ではない．

ローカル環境で更新を試すとそれなりに重く時間のかかる作業になってしまうため，定期的にまたは手動で`lake update`をCI上で行い，ビルドが成功するならPRを自動で立てるようなActionがあっても良いかもしれない．

認識論理のように複数（可算無限個）の様相演算子を持つ体系や証明可能性述語などのことを考えると、特定の`box`および`dia`ではなく、`System`上の1項様相演算子が公理Kや公理4の性質を満たす、と定義したほうが汎用的な気がする。 例えば認識論理では`[∀ i, Axiom.K (boxes i)]`のようにしたり、現在のDerivabilityConditionで行われているD1,D2,D3上の実質的な様相論理の計算を使いまわせたりする気がする。