Intermediate predicate logics determined by ordinals

DOI10.2307/2274476zbMath0745.03022OpenAlexW2008897582MaRDI QIDQ3970346

Pierluigi Minari, Mitio Takano, Hiroakira Ono

Publication date: 25 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274476

zbMATH Keywords

Kripke framesordinalsintermediate predicate logicconstant domain

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (4)

One-variable fragments of intermediate logics over linear frames ⋮ Deciding logics of linear Kripke frames with scattered end pieces ⋮ Continuous Fraïssé conjecture ⋮ Computable Kripke models and intermediate logics

Cites Work

• Ordered sets R and Q as bases of Kripke models
• A study of intermediate predicate logics
• Unnamed Item

This page was built for publication: Intermediate predicate logics determined by ordinals