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

DOI10.1093/logcom/exu016zbMath1348.03026OpenAlexW2166668863MaRDI QIDQ5262474

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

Kripke framesintermediate logicsordinalsmonadic logic

Mathematics Subject Classification ID

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

Related Items (4)

On the classification of first order Gödel logics ⋮ One-variable fragments of intermediate logics over linear frames ⋮ Ten problems in Gödel logic ⋮ On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

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