一次ゲーム論理とモードMu計算【JST・京大機械翻訳】

Wafa Noah Abou El; Platzer Andre

プレプリント

J-GLOBAL ID：202202207292107690 整理番号：22P0279172

一次ゲーム論理とモードMu計算【JST・京大機械翻訳】

First-Order Game Logic and Modal Mu-Calculus

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

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

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

本論文は,一次ゲーム論理と一次モードmu-calculusを研究して,それは,可変割当てのような解釈効果の1次方式によって,それらの命題的モード論理対応物を拡張した。命題の場合と異なり,両論理は同じ表現力を持ち,それらの証明計算は同じ演繹力を持つことを示す。両結石も相互に比較的完全である。微分方程式の存在において,コロールは,微分ゲーム論理,ハイブリッドゲームの演繹的検証のための論理,およびハイブリッド系のためのモードmu-calculusの微分ゲーム論理の間の利用可能で完全な変換を得た。微分mu-calculusは一次固定点論理に関して完全であり,微分ゲーム論理はODEフリーフラグメントに関して完全であった。【JST・京大機械翻訳】

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

人工知能 , 計算機システム開発

, ,

前のページに戻る