2 papers
math.LO2021
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations
Guram Bezhanishvili, Kristina Brantley, Julia Ilin
The Gödel translation provides an embedding of the intuitionistic logic into the modal logic , which then embeds into the modal logic via…
math.LO2019
NNIL-formulas revisited: universal models and finite model property
Julia Ilin, Dick de Jongh, Fan Yang
NNIL-formulas, introduced by Visser in 1983-1984 in a study of -subsitutions in Heyting Arithmetic, are intuitionistic propositional formulas that does not allow nesting of im…