|
JAIST Repository >
ソフトウェア検証研究センター 2010～2016 >
z9-10. 学術雑誌論文等 >
z9-10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/12861
|
完全登録情報レコード
| ダブリン･コア･フィールド | 値 | 言語 |
|---|
| contributor.author | Beckmann, Arnold | en_US |
| contributor.author | Preining, Norbert | en_US |
| date.accessioned | 2015-07-29T07:01:11Z | - |
| date.available | 2015-07-29T07:01:11Z | - |
| date.issued | 2014-03-17 | en_US |
| identifier.uri | http://hdl.handle.net/10119/12861 | - |
| description.abstract | We consider intermediate predicate logics defined by fixed well-ordered (or dually well-ordered) linear Kripke frames with constant domains where the order-type of the well-order is strictly smaller than ω^ω. We show that two such logics of different order-type are separated by a first-order sentence using only one monadic predicate symbol. Previous results by Minari, Takano and Ono, as well as the second author, obtained the same separation but relied on the use of predicate symbols of unbounded arity. | en_US |
| format.extent | 402493 bytes | - |
| format.mimetype | application/pdf | - |
| language.iso | en | en_US |
| publisher | Oxford University Press | en_US |
| rights | © The Author, 2014. Published by Oxford University Press. All rights reserved. This is a pre-copyedited, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The version of record [J Logic Computation (2015) 25 (3): 527-547. doi: 10.1093/logcom/exu016] is available online at: http://dx.doi.org/10.1093/logcom/exu016 . | en_US |
| subject | Intermediate logics | en_US |
| subject | Kripke frames | en_US |
| subject | ordinals | en_US |
| subject | monadic logic | en_US |
| title | Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences | en_US |
| type.nii | Journal Article | en_US |
| identifier.niiissn | 0955-792X | en_US |
| identifier.jtitle | Journal of Logic and Computation | en_US |
| identifier.volume | 25 | en_US |
| identifier.issue | 3 | en_US |
| identifier.spage | 527 | en_US |
| identifier.epage | 547 | en_US |
| relation.doi | 10.1093/logcom/exu016 | en_US |
| rights.textversion | author | en_US |
| language.iso639-2 | eng | en_US |
| 出現コレクション: | z9-10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 20667.pdf | | 393Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
