Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences

• Beckmann, Arnold

• Preining, Norbert

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.

identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/12861

Journal

• Journal of Logic and Computation

  Journal of Logic and Computation 25 (3), 527-547, 2014-03-17

  Oxford University Press

Keywords

• Intermediate logics
• Kripke frames
• ordinals
• monadic logic

Details

• CRID: 1050564287491885696
• NII Article ID: 120005625736
• ISSN: 0955792X
• ISSN: 1465363X
• DOI: 10.1093/logcom/exu016
• Web Site: http://hdl.handle.net/10119/12861
• Web Site: http://academic.oup.com/logcom/article-pdf/25/3/527/6138044/exu016.pdf
• Text Lang: en
• Article Type: journal article
• Data Source:
  • IRDB
  • Crossref
  • CiNii Articles
  • KAKEN