On dual objects of temporal Heyting algebras

Author: Phridoni Alshibaia
supervisor: Revaz Grigolia

Modal Epistemic Lukasiewicz logic with application in immune systems

Author: Ramaz Liparteliani
supervisor: Revaz Grigolia