Modal logic with subjunctive conditionals and dispositional predicates