TY  - RPRT
TI  - Implicit Kripke Semantics and Ultraproducts in Stratified Institutions
AU  - Răzvan Diaconescu
PY  - 2016
UR  - https://arxiv.org/abs/1602.05373
ID  - 1602.05373
ER  -