Vakarelov Dimiter

Presentations in Math-Net.Ru

1. Logics of space with connectedness predicates: complete axiomatizations
   Tinko Tinchev, Dimiter Vakarelov
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 26, 2010 09:50