%0 Journal Article
%T Extensions of Kripke models
%A Zaare, Mostafa
%J Logic Journal of the IGPL
%V 25
%N 5
%P 697-699
%@ 1367-0751
%D 2017-06-25
%I Oxford University Press
%~ DeepDyve