1 citations · 1 across the 2 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018
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…