%0 Conference Paper %1 conf/aiml/Skvortsov18 %A Skvortsov, Dmitrij P. %B Advances in Modal Logic %D 2018 %E Bezhanishvili, Guram %E D'Agostino, Giovanna %E Metcalfe, George %E Studer, Thomas %I College Publications %K dblp %P 577-590 %T Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2018.html#Skvortsov18 %@ 978-1-84890-255-8

@inproceedings{conf/aiml/Skvortsov18, added-at = {2020-03-12T00:00:00.000+0100}, author = {Skvortsov, Dmitrij P.}, biburl = {https://www.bibsonomy.org/bibtex/2da196041c9b7abf3e914b588bb82ab63/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2018}, editor = {Bezhanishvili, Guram and D'Agostino, Giovanna and Metcalfe, George and Studer, Thomas}, ee = {http://www.aiml.net/volumes/volume12/Skvortsov.pdf}, interhash = {cff10e6655bf4b6c52b0bdd15581f645}, intrahash = {da196041c9b7abf3e914b588bb82ab63}, isbn = {978-1-84890-255-8}, keywords = {dblp}, pages = {577-590}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:23.000+0200}, title = {Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2018.html#Skvortsov18}, year = 2018 }