Dmitrij P. Skvortsov. On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Studia Logica, 61(2):281-292, 1998.
@article{Skvortsov98,
title = {On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics},
author = {Dmitrij P. Skvortsov},
year = {1998},
tags = {completeness, logic},
researchr = {https://researchr.org/publication/Skvortsov98},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {61},
number = {2},
pages = {281-292},
}