Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

DOI10.1007/BF01053062zbMath0772.03008WikidataQ114694097 ScholiaQ114694097MaRDI QIDQ1208113

Tatsuya Shimura

Publication date: 16 May 1993

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completenessKripke semanticsintermediate predicate logicsconfinal subframe logicsZakhar'yashchev's canonical formulas

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

On the predicate logics of finite Kripke frames ⋮ Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle ⋮ Canonical formulas for K4. Part II: Cofinal subframe logics ⋮ The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable

Cites Work

• An extension of ono's completeness result
• Logics containing K4. Part II
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• The decidability of certain intermediate propositional logics
• Unnamed Item
• Unnamed Item
• Unnamed Item