Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5

@article{Humberstone2006IdenticalTD,
  title={Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5},
  author={Lloyd Humberstone},
  journal={J. Philosophical Logic},
  year={2006},
  volume={36},
  pages={249}
}