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

DOI10.1023/B:STUD.0000039028.22017.4FzbMATH Open1073.03013OpenAlexW2083897845MaRDI QIDQ1770592FDOQ1770592

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

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

zbMATH Keywords

Kripke semanticsfinite axiomatizabilityintermediate predicate logicrecursive axiomatizabilitylelvelwise uniform tree

Mathematics Subject Classification ID

Intermediate logics (03B55)

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
• Title not available (Why is that?)
• 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)