Levan Uridia

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 7

Top Topics

Epistemic Logic

Mazurkiewicz Traces

Belief Revision

Top Venues

Inteligencia Artif.

J. Appl. Non Class. Logics

Publications

David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia
Temporal logic of surjective bounded morphisms between finite linear processes. J. Appl. Non Class. Logics 34 (1) (2024)
Levan Uridia, Dirk Walther
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artif. 23 (65) (2020)
Levan Uridia, Dirk Walther
Common Knowledge in an Epistemic Logic with Hypotheses. GCAI (2020)
Levan Uridia, Dirk Walther
Common Knowledge in Epistemic Logic With Hypotheses. GCAI (2019)
Levan Uridia, Dirk Walther
Completeness by Modal Definitions. IBERAMIA (2018)
David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia
An Axiomatization of the d-logic of Planar Polygons. TbiLLC (2017)
Philippe Balbiani, David Pearce, Levan Uridia
On Logics of Group Belief in Structured Coalitions. JELIA (2016)
David Pearce, Levan Uridia
Trust, Belief and Honesty. GCAI (2015)
David Pearce, Levan Uridia
Algebraic semantics for modal and superintuitionistic non-monotonic logics. J. Appl. Non Class. Logics 23 (1-2) (2013)
Philippe Balbiani, Levan Uridia
Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders. Advances in Modal Logic (2012)
David Pearce, Levan Uridia
The Topology of Common Belief. AT (2012)
Levan Uridia, Dirk Walther
An Epistemic Logic with Hypotheses. LORI (2011)
David Pearce, Levan Uridia
An Approach to Minimal Belief via Objective Belief. IJCAI (2011)
David Pearce, Levan Uridia
Minimal Knowledge and Belief via Minimal Topology. JELIA (2010)
Levan Uridia
- Doxastic Interpretation. TbiLLC (2009)
David Pearce, Levan Uridia
A Logic Related to Minimal Knowledge. WAT (2009)