文献

J-GLOBAL ID：202202289774555682   整理番号：22A1104935

一次定義可能性とモード定義可能性のための決定可能で決定不能な問題【JST・京大機械翻訳】

Decidable and Undecidable Problems for First-Order Definability and Modal Definability

著者 (2件)： Balbiani Philippe (Toulouse Institute of Computer Science Research, CNRS and Toulouse University, Toulouse, France) ,  Tinchev Tinko (Faculty of Mathematics and Informatics, Sofia University St. Kliment Ohridski, Sofia, Bulgaria)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13206  ページ： 214-236  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文のコアは,与えられた基本条件の与えられたモード式とモード定義の1次定義性に関するChagrovaの定理である。著者らは,モード定義性が決定可能であり,一次定義性が自明であるフレームのクラスを考察した。著者らは,モーダル定義性に関するChagrovaの定理の新しい変種の証明のモード定義とスケッチに関するChagrovaの定理の新しい証明を与えた。Copyright The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 可能性 ,  定義 ,  *モード

著者キーワード (3件)： 一次定義可能性 ,  モード定義可能性 ,  Chagrovaの定理

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 定義 ,  可能性 ,  問題