Mamuka Jibladze

13 papers C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking.
Log. Methods Comput. Sci.
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2025 J jnl
An explicit Kuznetsov-Muravitsky enrichment.
Ann. Pure Appl. Log.
Mamuka Jibladze, Evgeny Kuznetsov
2024 J jnl
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking.
CoRR
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024 C conf
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS
FORTE
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2024 J jnl
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version.
CoRR
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
2022 J jnl
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras.
J. Math. Log.
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
2019 J jnl
Compact Hausdorff Spaces with Relations and Gleason Spaces.
Appl. Categorical Struct.
Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze
2017 — conf
An Axiomatization of the d-logic of Planar Polygons.
TbiLLC
David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia
2016 J jnl
Admissible Bases Via Stable Canonical Rules.
Stud Logica
Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze
2013 — conf
Funayama's theorem revisited.
TACL
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
2011 J jnl
An Algebraic Approach to Subframe Logics. Modal Case.
Notre Dame J. Formal Log.
Guram Bezhanishvili, Silvio Ghilardi, Mamuka Jibladze
2004 J jnl
The Steenrod Algebra and Theories Associated to Hopf Algebras.
Appl. Categorical Struct.
Hans-Joachim Baues, Mamuka Jibladze
2000 J jnl
Scattered Toposes.
Ann. Pure Appl. Log.
Leo Esakia, Mamuka Jibladze, Dito Pataraia