On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees

DOI10.1023/B:STUD.0000039028.22017.4FzbMath1073.03013OpenAlexW2083897845MaRDI QIDQ1770592

Dimitrij Skvortsov

Publication date: 7 April 2005

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

Full work available at URL: https://doi.org/10.1023/b:stud.0000039028.22017.4f

zbMATH Keywords

Kripke semanticsfinite axiomatizabilityintermediate predicate logicrecursive axiomatizabilitylelvelwise uniform tree

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (2)

Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle ⋮ A first order nonmonotonic extension of constructive logic

This page was built for publication: On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees