下載 Linnk AI
•
AI 研究助理
>
登入
洞見
-
動的システム論理学
動的依存関係の時間的設定における論理
動的システムにおける変数の振る舞いは、時間の経過とともに依存関係が現れる典型的な例である。本論文では、静的な機能的依存関係の最小限のモーダル基底論理を拡張し、動的依存関係を論理的な観点から研究する。
1