On some Kripke complete and Kripke incomplete intermediate predicate logics

DOI10.1023/A:1005029515564zbMATH Open0969.03043OpenAlexW1501433448MaRDI QIDQ1580656FDOQ1580656

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

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 Keywords

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (18)

• Kripke incomplete logics containing KTB
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Title not available (Why is that?)
• Title not available (Why is that?)
• Should pluralists be pluralists about pluralism?
• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the predicate logic of linear Kripke frames and some of its extensions
• An extension of ono's completeness result
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• Title not available (Why is that?)
• A Note on a Subsystem Of Intuitionistic Logic with Constant Domains
• Title not available (Why is that?)
• Completeness theorems for some intermediate predicate calculi
• Title not available (Why is that?)
• Title not available (Why is that?)

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)