6 citations · 9 across the 8 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018★ 2 cited
Glivenko's theorem, finite height, and local tabularity
Ilya B. Shapirovsky
Glivenko's theorem states that a formula is derivable in classical propositional logic iff under the double negation it is derivable in intuitionistic propositional l…
math.LO2018
On modal logics of model-theoretic relations
Denis I. Saveliev, Ilya B. Shapirovsky
Given a class of models, a binary relation between models, and a model-theoretic language , we consider the modal logic and the modal algebra of the…