%0 Journal Article %A Kennedy, Juliette %A Magidor, Menachem %A Väänänen, Jouko %D 2020 %J Journal of Mathematical Logic %N 2 %P 2150012 %T Inner models from extended logics: Part 1 %V 21