On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees

DOI10.1023/B:STUD.0000039028.22017.4FMaRDI QIDQ1770592zbMATH OpenOpenAlexFDO

Authors Dmitrij Skvortsov

Publication date 7 April 2005

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:stud.0000039028.22017.4f

zbMATH Keywords

Kripke semanticsfinite axiomatizabilityintermediate predicate logicrecursive axiomatizabilitylelvelwise uniform tree

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• On the predicate logics of finite Kripke frames
• scientific article; zbMATH DE number 937394
• Finite and finitely separable intermediate propositional logics
• Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
• Not every ``tabular predicate logic is finitely axiomatizable

Cited in

(10)

• Frame based formulas for intermediate logics
• Intermediate predicate logics determined by ordinals
• Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
• scientific article; zbMATH DE number 2024636 (Why is no real title available?)
• A first order nonmonotonic extension of constructive logic
• Finite and finitely separable intermediate propositional logics
• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
• On the predicate logics of finite Kripke frames
• On finite linear intermediate predicate logics
• Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences

This page was built for publication: On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees

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