Some preservation results for classical and intuitionistic satisfiability in Kripke models

Zoran Markovic. Some preservation results for classical and intuitionistic satisfiability in Kripke models. Notre Dame Journal of Formal Logic, 24(3):395-398, 1983. [doi]

Abstract

Abstract is missing.