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

DOI10.1093/LOGCOM/EXU016zbMATH Open1348.03026OpenAlexW2166668863MaRDI QIDQ5262474FDOQ5262474

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

Recommendations

• Intermediate predicate logics determined by ordinals
• [[:Publication:4896535|Title not available (Why is that?)]]
• 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

zbMATH Keywords

ordinalsKripke framesintermediate logicsmonadic logic

Mathematics Subject Classification ID

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

Cited In (4)

• On the classification of first order Gödel logics
• On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic 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)