On some Kripke complete and Kripke incomplete intermediate predicate logics

DOI10.1023/A:1005029515564zbMath0969.03043OpenAlexW1501433448MaRDI QIDQ1580656

Dimitrij 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

zbMATH Keywords

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

Should pluralists be pluralists about pluralism?

This page was built for publication: On some Kripke complete and Kripke incomplete intermediate predicate logics