動的依存関係の時間的設定における論理

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