Levan Uridia

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