文献

J-GLOBAL ID：201902294820061537   整理番号：19A2668872

項シーケンス様相論理【JST・京大機械翻訳】

Term-Sequence-Modal Logics

著者 (3件)： Sawasaki Takahiro (Graduate School of Letters, Hokkaido University, Sapporo, Japan) ,  Sano Katsuhiko (Faculty of Humanities and Human Sciences, Hokkaido University, Sapporo, Japan) ,  Yamada Tomoyuki (Faculty of Humanities and Human Sciences, Hokkaido University, Sapporo, Japan)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11813  ページ： 244-258  発行年： 2019年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： Fittingらによって開発されたTermモード論理は,一次論理の項によってモーダル演算子をインデックス化し,モード演算子の指標における変数を定量化することを可能にする。本論文において,著者らは,モード演算子を単一項だけでなく,項の有限の順序によってインデックス化することを可能にすることによって,term-モーダル論理を拡張した。拡張論理は,term-モーダル論理と定量化モード論理の両方の一般化である。著者らは,論理のために音のHilbert型公理化(Barcanのような公理のない)を提供して,いくつかの論理のために強い完全性結果を確立した。また,論理に対する逐次計算を提案し,いくつかの計算に対するカット除去定理とCraig補間定理を示した。Copyright 2019 Springer-Verlag GmbH Germany, part of Springer Nature Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *様相論理 ,  公理 ,  音響 ,  完全性 ,  内挿法
準シソーラス用語： 公理化 , 【Automatic Indexing@JST】

著者キーワード (5件)： 項シーケンス様相論理 ,  項様相論理 ,  定量化様相論理 ,  Hilbertシステム ,  逐次計算

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (2件)： シーケンス ,  様相論理