%0 Journal Article %1 journals/sLogica/Skvortsov98 %A Skvortsov, Dmitrij P. %D 1998 %J Stud Logica %K dblp %N 2 %P 281-292 %T On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica61.html#Skvortsov98 %V 61

@article{journals/sLogica/Skvortsov98, added-at = {2020-09-01T00:00:00.000+0200}, author = {Skvortsov, Dmitrij P.}, biburl = {https://www.bibsonomy.org/bibtex/28c85df1636ed6cb6d0ecf58ef40799e3/dblp}, ee = {https://doi.org/10.1023/A:1005029515564}, interhash = {c89a61dde989912ff5621c40be4742ab}, intrahash = {8c85df1636ed6cb6d0ecf58ef40799e3}, journal = {Stud Logica}, keywords = {dblp}, number = 2, pages = {281-292}, timestamp = {2020-09-09T12:37:12.000+0200}, title = {On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica61.html#Skvortsov98}, volume = 61, year = 1998 }