Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
Bezhanishvili, Guram
Bezhanishvili, Nick
and
Ilin, Julia
2016.
Cofinal Stable Logics.
Studia Logica,
Vol. 104,
Issue. 6,
p.
1287.
Baltag, Alexandru
Bezhanishvili, Nick
Ilin, Julia
and
Özgün, Aybüke
2017.
Logic, Rationality, and Interaction.
Vol. 10455,
Issue. ,
p.
181.
Bezhanishvili, Guram
Bezhanishvili, Nick
Sourabh, Sumit
and
Venema, Yde
2017.
Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality.
Applied Categorical Structures,
Vol. 25,
Issue. 3,
p.
381.
Bezhanishvili, Guram
and
Bezhanishvili, Nick
2017.
Locally Finite Reducts of Heyting Algebras and Canonical Formulas.
Notre Dame Journal of Formal Logic,
Vol. 58,
Issue. 1,
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.
BEZHANISHVILI, GURAM
BEZHANISHVILI, NICK
and
ILIN, JULIA
2018.
STABLE MODAL LOGICS.
The Review of Symbolic Logic,
Vol. 11,
Issue. 3,
p.
436.
Barlocco, Simone
and
Kupke, Clemens
2018.
Logical Foundations of Computer Science.
Vol. 10703,
Issue. ,
p.
72.
Bezhanishvili, Nick
and
de Jongh, Dick
2018.
Stable Formulas in Intuitionistic Logic.
Notre Dame Journal of Formal Logic,
Vol. 59,
Issue. 3,
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.
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.
Celani, Sergio
and
Jansana, Ramon
2022.
A variety of algebras closely related to subordination algebras.
Journal of Applied Non-Classical Logics,
Vol. 32,
Issue. 2-3,
p.
200.
Bezhanishvili, Guram
and
Bezhanishvili, Nick
2022.
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics.
Vol. 24,
Issue. ,
p.
71.
van Benthem, Johan
and
Bezhanishvili, Nick
2023.
Kit Fine on Truthmakers, Relevance, and Non-classical Logic.
Vol. 26,
Issue. ,
p.
23.
Shkatov, Dmitry
and
Van Alten, C. J.
2023.
Complexity of the Universal Theory of Residuated Ordered Groupoids.
Journal of Logic, Language and Information,
Vol. 32,
Issue. 3,
p.
489.
Celani, Sergio A.
2023.
Subordinations on Bounded Distributive Lattices.
Order,
Vol. 40,
Issue. 1,
p.
1.
De Berardinis, Matteo
and
Ghilardi, Silvio
2024.
Profiniteness, monadicity and universal models in modal logic.
Annals of Pure and Applied Logic,
Vol. 175,
Issue. 7,
p.
103454.
CALEIRO, CARLOS
and
MARCELINO, SÉRGIO
2024.
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS.
The Journal of Symbolic Logic,
Vol. 89,
Issue. 2,
p.
583.