1. Modal logic with subjunctive conditionals and dispositional predicates;Åqvist;Journal of Philosophical Logic,1973
2. A functional calculus of first order based on strict implication;Barcan (Marcus);Journal of Symbolic Logic,1946
3. La correction de la logique modale du premier et second ordre S5;Bayart;Logique et Analyse,1958
4. Zur Logik der Modalitäten;Becker;Jahrbuch für Philosophie und Phänomenologische Forschung,1930
5. Modal logic;Blackburn,2001