様相命題論理の立体化
スポンサーリンク
概要
- 論文の詳細を見る
1. ML-C2. ML-Cモデル3. T-C4. T-Cの健全性と完全性ML-C is, as it were, a modal logic with chronology. In a ML-C model there is a time pervading all possible worlds. A world w′ is accessible not only from a world w but also from a time t at w. (In this case we say that w′ derives from w at t.) Thus we can discriminate w′ from w″ deriving from w at another time t′. In every world we associate a time point to every wff and define the necessity of A as A being true in all w′ derivative from w at A's point. In ML-C we shall have some merits. First, we'll be able to define the so called strict implication without inviting any paradoxes. Second, we'll be able to treat such a case that B becomes necessary because of A. For this means that B is true in every world derivative at A's point. However these are not treated here. I hope this treatise to be the first step to these or other objectives.
- 慶應義塾大学の論文