Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Citkin, Alex
2010.
Metalogic of Intuitionistic Propositional Calculus.
Notre Dame Journal of Formal Logic,
Vol. 51,
Issue. 4,
Bezhanishvili, Nick
and
Ghilardi, Silvio
2014.
The bounded proof property via step algebras and step frames.
Annals of Pure and Applied Logic,
Vol. 165,
Issue. 12,
p.
1832.
Wolter, Frank
and
Zakharyaschev, Michael
2014.
Leo Esakia on Duality in Modal and Intuitionistic Logics.
Vol. 4,
Issue. ,
p.
99.
Citkin, Alex
2015.
Characteristic Inference Rules.
Logica Universalis,
Vol. 9,
Issue. 1,
p.
27.
Jeřábek, Emil
2015.
Rules with parameters in modal logic I.
Annals of Pure and Applied Logic,
Vol. 166,
Issue. 9,
p.
881.
Iemhoff, Rosalie
2015.
On Rules.
Journal of Philosophical Logic,
Vol. 44,
Issue. 6,
p.
697.
Bezhanishvili, Nick
Gabelaia, David
Ghilardi, Silvio
and
Jibladze, Mamuka
2016.
Admissible Bases Via Stable Canonical Rules.
Studia Logica,
Vol. 104,
Issue. 2,
p.
317.
Bezhanishvili, Nick
Ghilardi, Silvio
and
Lauridsen, Frederik Möllerström
2016.
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property.
Journal of Logic and Computation,
p.
exw029.
Maleki, Fatemeh Shirmohammadzadeh
and
De Jongh, Dick
2016.
Weak subintuitionistic logics.
Logic Journal of IGPL,
p.
jzw062.
Bezhanishvili, Guram
Bezhanishvili, Nick
and
Ilin, Julia
2016.
Cofinal Stable Logics.
Studia Logica,
Vol. 104,
Issue. 6,
p.
1287.
Citkin, Alex
2016.
Logical Foundations of Computer Science.
Vol. 9537,
Issue. ,
p.
76.
Bezhanishvili, Nick
Galatos, Nick
and
Spada, Luca
2017.
Canonical formulas for k-potent commutative, integral, residuated lattices.
Algebra universalis,
Vol. 77,
Issue. 3,
p.
321.
Citkin, Alex
2017.
Admissibility in Positive Logics.
Logica Universalis,
Vol. 11,
Issue. 4,
p.
421.
BEZHANISHVILI, GURAM
BEZHANISHVILI, NICK
and
ILIN, JULIA
2018.
STABLE MODAL LOGICS.
The Review of Symbolic Logic,
Vol. 11,
Issue. 3,
p.
436.
Bezhanishvili, Guram
Bezhanishvili, Nick
and
Ilin, Julia
2019.
Subframization and stabilization for superintuitionistic logics.
Journal of Logic and Computation,
Vol. 29,
Issue. 1,
p.
1.
Lauridsen, Frederik M.
2019.
Intermediate Logics Admitting a Structural Hypersequent Calculus.
Studia Logica,
Vol. 107,
Issue. 2,
p.
247.
Shkatov, Dmitry
and
Van Alten, Clint J.
2020.
Complexity of the Universal Theory of Modal Algebras.
Studia Logica,
Vol. 108,
Issue. 2,
p.
221.
Jeřábek, Emil
2020.
Rules with parameters in modal logic II.
Annals of Pure and Applied Logic,
Vol. 171,
Issue. 10,
p.
102829.
Shkatov, Dmitry
and
Van Alten, C.J.
2021.
Computational complexity for bounded distributive lattices with negation.
Annals of Pure and Applied Logic,
Vol. 172,
Issue. 7,
p.
102962.
GOUDSMIT, JEROEN P.
2021.
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV.
The Bulletin of Symbolic Logic,
Vol. 27,
Issue. 1,
p.
1.