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

DOI10.1093/LOGCOM/EXU016MaRDI QIDQ5262474zbMATH OpenOpenAlexFDO

Authors Arnold Beckmann, Norbert Preining

Publication date 15 July 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/0574e5eb45145dbe7f81c4974ae4596cafe36898

zbMATH Keywords

ordinalsKripke framesintermediate logicsmonadic logic

Mathematics Subject Classification ID

Intermediate logics (03B55) Descriptive set theory (03E15)

Recommendations

• Intermediate predicate logics determined by ordinals
• scientific article; zbMATH DE number 937394
• On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees
• On the predicate logics of finite Kripke frames
• On the predicate logic of linear Kripke frames and some of its extensions

Cited in

(5)

• Intermediate predicate logics determined by ordinals
• On the classification of first order Gödel logics
• On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)
• One-variable fragments of intermediate logics over linear frames
• Ten problems in Gödel logic

This page was built for publication: Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262474)