反事実条件文推論の動態論理による形式化

書誌事項

タイトル別名
  • ハン ジジツ ジョウケンブン スイロン ノ ドウタイ ロンリ ニ ヨル ケイシキカ
  • Formalization of Counterfactual Inference by Dynamic Logic

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ