Levan Uridia

According to our database, Levan Uridia authored at least 15 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses.

Levan Uridia, Dirk Walther

Inteligencia Artif., 2020

Common Knowledge in an Epistemic Logic with Hypotheses.

Levan Uridia, Dirk Walther

Proceedings of the 6th Global Conference on Artificial Intelligence, 2020

2019

Common Knowledge in Epistemic Logic With Hypotheses.

Levan Uridia, Dirk Walther

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

2018

Completeness by Modal Definitions.

Levan Uridia, Dirk Walther

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2018, 2018

2017

An Axiomatization of the d-logic of Planar Polygons.

David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017

2016

On Logics of Group Belief in Structured Coalitions.

Philippe Balbiani, David Pearce, Levan Uridia

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Trust, Belief and Honesty.

David Pearce, Levan Uridia

Proceedings of the Global Conference on Artificial Intelligence, 2015

2013

Algebraic semantics for modal and superintuitionistic non-monotonic logics.

David Pearce, Levan Uridia

J. Appl. Non Class. Logics, 2013

2012

The Topology of Common Belief.

David Pearce, Levan Uridia

Proceedings of the First International Conference on Agreement Technologies, 2012

Completeness and Definability of a Modal Logic Interpreted over Iterated Strict Partial Orders.

Philippe Balbiani, Levan Uridia

Proceedings of the Advances in Modal Logic 9, 2012

2011

An Epistemic Logic with Hypotheses.

Levan Uridia, Dirk Walther

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

An Approach to Minimal Belief via Objective Belief.

David Pearce, Levan Uridia

Proceedings of the IJCAI 2011, 2011

2010

Minimal Knowledge and Belief via Minimal Topology.

David Pearce, Levan Uridia

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Boolean Modal Logic <i>wK</i>4_<i>Dyn</i> - Doxastic Interpretation.

Levan Uridia

Proceedings of the Logic, Language, and Computation, 2009

A Logic Related to Minimal Knowledge.

David Pearce, Levan Uridia

Proceedings of the Second Workshop on Agreement Technologies, 2009