No Cover Image

Journal article 1196 views

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

A. Beckmann, N. Preining, Arnold Beckmann Orcid Logo

Journal of Logic and Computation

Swansea University Author: Arnold Beckmann Orcid Logo

Full text not available from this repository: check for access using links below.

DOI (Published version): 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~$\omega^\omega$. We show that two such logics of different order-type are separated by a first-o...

Full description

Published in: Journal of Logic and Computation
Published: 2014
URI: https://cronfa.swan.ac.uk/Record/cronfa17522
Tags: Add Tag
No Tags, Be the first to tag this record!
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~$\omega^\omega$. 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.
College: Faculty of Science and Engineering