Follow
Levan Uridia
Levan Uridia
Razmadze Institute os Mathematics (TSU)
Verified email at freeuni.edu.ge
Title
Cited by
Cited by
Year
An approach to minimal belief via objective belief
D Pearce, L Uridia
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
112011
The topology of common belief
D Pearce, L Uridia
The Cognitive Foundations of Group Attitudes and Social Interaction, 133-152, 2015
72015
Characterization of flat polygonal logics
D Gabelaia, M Jibladze, E Kuznetsov, L Uridia
TACL 2019, 86, 2019
42019
Trust, Belief and Honesty.
D Pearce, L Uridia
GCAI, 215-228, 2015
42015
An epistemic logic with hypotheses
L Uridia, D Walther
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011 …, 2011
42011
Minimal knowledge and belief via minimal topology
D Pearce, L Uridia
European Workshop on Logics in Artificial Intelligence, 273-285, 2010
42010
The Gödel and the splitting translations
DA Pearce
University of Kentucky, 2010
42010
An Axiomatization of the d-logic of Planar Polygons
D Gabelaia, K Gogoladze, M Jibladze, E Kuznetsov, L Uridia
Language, Logic, and Computation: 12th International Tbilisi Symposium …, 2019
32019
Trust and belief, interrelation
B Dundua, L Uridia
3rd WAT, 2010
32010
Completeness by modal definitions
L Uridia, D Walther
Advances in Artificial Intelligence-IBERAMIA 2018: 16th Ibero-American …, 2018
22018
A Logic Related to Minimal Knowledge.
D Pearce, L Uridia
WAT, 142-153, 2009
22009
The modal logic of ‘Somewhere else’: An algebraic consideration
L Uridia
Proc. 4th Int. Symp. Log., Lang. Comput, 2003
22003
Common Knowledge in Epistemic Logic With Hypotheses.
L Uridia, D Walther
GCAI, 139-151, 2019
12019
On logics of group belief in structured coalitions
P Balbiani, D Pearce, L Uridia
Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016
12016
Completeness and definability of a modal logic interpreted over iterated strict partial orders
P Balbiani, L Uridia
9th Advances in Modal Logic conference (AiML 2012) 9, 71--88, 2012
12012
The modal logic of the bi-topological rational plane
L Uridia
Topology, Algebra, and Categories in Logic, 277, 2011
12011
Boolean Modal Logic wK4 Dyn - Doxastic Interpretation
L Uridia
Logic, Language, and Computation: 8th International Tbilisi Symposium on …, 2011
12011
Temporal logic of surjective bounded morphisms between finite linear processes
D Gabelaia, E Kuznetsov, RC Mihailescu, K Razmadze, L Uridia
Journal of Applied Non-Classical Logics 34 (1), 1-30, 2024
2024
Common Knowledge in an Epistemic Logic with Hypotheses
L Uridia, D Walther
EPiC Series in Computing 72, 83-91, 2020
2020
Completeness by Modal Deï¬ nitions. Application to the Epistemic Logic With Hypotheses
L Uridia, D Walther
Inteligencia Artificial 23 (65), 1-18, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20