Title: The completeness of some modal logics with circumstantials, subjunctive conditionals, transworld identity and dispositional predicates
Subjects: First-order logic, Modality (Logic), Semantics (Philosophy)