Strongly Decidable Properties of Modal and Intuitionistic Calculi

@article{Maksimova2000StronglyDP,
  title={Strongly Decidable Properties of Modal and Intuitionistic Calculi},
  author={Larisa Maksimova},
  journal={Logic Journal of the IGPL},
  year={2000},
  volume={8},
  pages={797-819}
}