On some Kripke complete and Kripke incomplete intermediate predicate logics

DOI10.1023/A:1005029515564MaRDI QIDQ1580656zbMATH OpenOpenAlexFDO

Authors Dmitrij Skvortsov

Publication date 30 September 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005029515564

zbMATH Keywords

intermediate logicintermediate predicate logicsKripke completenessKripke incompletenesscofinal subframe formulaKripke bundleconstant domain axiomKuroda axiom

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 759444
• scientific article; zbMATH DE number 3933040
• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• scientific article; zbMATH DE number 2196603
• scientific article; zbMATH DE number 4120150
• scientific article; zbMATH DE number 4106814
• scientific article; zbMATH DE number 3837996
• Completeness theorems for some intermediate predicate calculi
• Kripke completeness of infinitary predicate multimodal logics
• scientific article; zbMATH DE number 120339

Cited in

(20)

• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• Computable Kripke models and intermediate logics
• scientific article; zbMATH DE number 269844 (Why is no real title available?)
• scientific article; zbMATH DE number 2196603 (Why is no real title available?)
• Kripke incomplete logics containing KTB
• Completeness theorems for some intermediate predicate calculi
• scientific article; zbMATH DE number 1187137 (Why is no real title available?)
• scientific article; zbMATH DE number 3933040 (Why is no real title available?)
• scientific article; zbMATH DE number 2024613 (Why is no real title available?)
• scientific article; zbMATH DE number 759444 (Why is no real title available?)
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• On the predicate logic of linear Kripke frames and some of its extensions
• scientific article; zbMATH DE number 2024636 (Why is no real title available?)
• Should pluralists be pluralists about pluralism?
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
• scientific article; zbMATH DE number 937394 (Why is no real title available?)
• An extension of ono's completeness result
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
• scientific article; zbMATH DE number 3837996 (Why is no real title available?)

This page was built for publication: On some Kripke complete and Kripke incomplete intermediate predicate logics

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