Henrik Sahlqvist (sahlqvist)

Contributi a Philosophie.ch

Bibliography

Sahlqvist, Henrik. 1975. “Completeness and Correspondence in the First and Second Order Semantics for Modal Logic.” in Proceedings of the 3rd Scandinavian Logic Symposion, edited by Stig Kanger, pp. 110–143. Studies in Logic and the Foundations of Mathematics n. 82. Amsterdam: North-Holland Publishing Co.