On the predicate logic of linear Kripke frames and some of its extensions

DOI10.1007/s11225-005-3706-4zbMath1092.03013OpenAlexW2017127608MaRDI QIDQ817691

Dimitrij Skvortsov

Publication date: 17 March 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-005-3706-4

zbMATH Keywords

Kripke semanticsintermediate predicate logicscompleteness and incompleteness

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items

EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle

Cites Work

• Unnamed Item
• Unnamed Item
• Presheaf semantics and independence results for some non-classical first- order logics
• Ordered sets R and Q as bases of Kripke models
• On finite linear intermediate predicate logics
• Completeness theorem for Dummett's LC quantified and some of its extensions
• Directed frames
• On the predicate logics of finite Kripke frames
• Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
• Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
• On logics intermediate between intuitionistic and classical predicate logic

This page was built for publication: On the predicate logic of linear Kripke frames and some of its extensions