On the predicate logics of finite Kripke frames

DOI10.1007/BF01058533zbMath0839.03011MaRDI QIDQ1344873

Dimitrij Skvortsov

Publication date: 22 February 1995

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

Full work available at URL: https://doi.org/10.1007/bf01058533

zbMATH Keywords

posets; intermediate predicate logic; finitely axiomatizable; finite Kripke frames

Mathematics Subject Classification ID

03B55: Intermediate logics

Related Items

The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizable, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, On the predicate logic of linear Kripke frames and some of its extensions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Presheaf semantics and independence results for some non-classical first- order logics
• On finite linear intermediate predicate logics
• Semantical investigations in Heyting's intuitionistic logic
• Completeness theorem for Dummett's LC quantified and some of its extensions
• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• Directed frames
• Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II
• Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
• Incompleteness results in Kripke semantics
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property