Art

J-GLOBAL ID：201902294820061537   Reference number：19A2668872

Term-Sequence-Modal Logics

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

Author (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)
Material： Lecture Notes in Computer Science  (LNBI)
Volume： 11813  Page： 244-258  Publication year： 2019 
JST Material Number： H0078D  ISSN： 0302-9743  Document type： Proceedings
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： Term-modal logics, developed b...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A2668872&from=J-GLOBAL&jstjournalNo=H0078D") }}

Thesaurus term： *modal logic ,  axiom ,  Sound ,  completeness ,  interpolation method ,  axiomatization

Author keywords (5)： Term-sequence-modal logic ,  Term-modal logic ,  Quantified modal logic ,  Hilbert system ,  Sequent calculus

JST classification (1)： Artificial intelligence  (JE08000Z)

Terms in the title (2)： シーケンス ,  様相論理