- Mechanised uniform interpolation for modal logics K, GL, and iSL
2024/02/16 by Hugo Férée, Iris van der Giessen, Férée, Hugo +5 · 1 citation
Computer Science · Engineering · #03B20 #03B45 #03F45 #68V20 #Dynamics and Control of Mechanical Systems #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #I.2.3 #I.2.4 #Logic (math.LO) #Logic in Computer Science (cs.LO)
- Blok-Esakia Theorems via Stable Canonical Rules
2022/06/17 by NICK BEZHANISHVILI, Bezhanishvili, Nick, ANTONIO MARIA CLEANI +1 · 3 citations
#03B44 #03B45 #03B55 #03B60 #03F45 #FOS: Mathematics #Logic (math.LO)
- Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations
2021/03/21 by Bezhanishvili, Guram, Brantley, Kristina, Ilin, Julia · 1 citation
#03B45 #03B55 #03F45 #FOS: Mathematics #Logic (math.LO)
- Slow and Ordinary Provability for Peano Arithmetic
2016/02/04 by Henk, Paula, Pakhomov, Fedor · 1 citation
#03F15 #03F30 #03F40 #03F45 #03H15 #FOS: Mathematics #Logic (math.LO)
- On a Hierarchy of Reflection Principles in Peano Arithmetic
2014/05/11 by Nogina, Elena · 1 citation
#03F03 #03F25 #03F30 #03F45 #FOS: Mathematics #Logic (math.LO)