Danko Ilik, Gyesik Lee, Hugo Herbelin. Kripke models for classical logic. Annals of Pure and Applied Logic, 161(11):1367-1378, 2010. [doi]
@article{IlikLH10, title = {Kripke models for classical logic}, author = {Danko Ilik and Gyesik Lee and Hugo Herbelin}, year = {2010}, doi = {10.1016/j.apal.2010.04.007}, url = {http://dx.doi.org/10.1016/j.apal.2010.04.007}, tags = {meta-model, logic, Meta-Environment}, researchr = {https://researchr.org/publication/IlikLH10}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {161}, number = {11}, pages = {1367-1378}, }