時間設定における依存性論理【JST機械翻訳】

Baltag Alexandru; van Benthem Johan; Li Dazhu

プレプリント

J-GLOBAL ID：202202219998994582 整理番号：22P0333127

時間設定における依存性論理【JST機械翻訳】

Dependence Logics in Temporal Settings

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年04月16日プレプリントサーバーでの情報更新日： 2024年03月27日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

パラダイム例として力学系における変数の挙動とともに,依存性の多くの形式は時間とともにそれ自身を明示する。本論文では,静的関数従属性の最小モーダルベース論理を充実させることにより,論理的観点から動的システムにおける時間依存性について調べた。最初に,時間化変数を特徴とする動的システムの論理を導入し,完全な公理的証明計算を提供し,その充足可能性問題が決定可能であることを示した。次に,動的遷移関数に関する明示的推論を獲得するために,関数記号および項アイデンティティを用いてこのフレームワークの拡張を行った。次に,標準的時相論理からの次回真理のためのモダリティと時相化変数を結合し,そこでは,モード対応解析により,時間を参照する2つの手法間の縮小をサポートする時相化動的システムの完全で決定可能な論理に必要な原理を明らかにした。筆者らの最終結果は,任意の動的系における依存性の一般的決定可能論理の公理化である。ここで導入したシステムが,システム挙動のより豊富な時間論理と,動的トポロジー論理を持つメッシュをどのように導入するかに関する短い展望で締めくくる。【JST機械翻訳】

, , , , , , , , , , ,
, , , 【Automatic Indexing@JST】

計算理論 , 論理代数

前のページに戻る