@misc{indiciae188747148bd5,
  title = {Implicit Kripke Semantics and Ultraproducts in Stratified Institutions},
  author = {Răzvan Diaconescu},
  year = {2016},
  url = {https://arxiv.org/abs/1602.05373},
  note = {Source identifier: 1602.05373}
}