JAIST Repository >
Research Center for Software Verification 2010-2016 >
Articles >
Journal Articles >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/12861
|
Title: | Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences |
Authors: | Beckmann, Arnold Preining, Norbert |
Keywords: | Intermediate logics Kripke frames ordinals monadic logic |
Issue Date: | 2014-03-17 |
Publisher: | Oxford University Press |
Magazine name: | Journal of Logic and Computation |
Volume: | 25 |
Number: | 3 |
Start page: | 527 |
End page: | 547 |
DOI: | 10.1093/logcom/exu016 |
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. |
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 . |
URI: | http://hdl.handle.net/10119/12861 |
Material Type: | author |
Appears in Collections: | z9-10-1. 雑誌掲載論文 (Journal Articles)
|
Files in This Item:
File |
Description |
Size | Format |
20667.pdf | | 393Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|