Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Vakarelov, Dimiter

Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 4
Presentations: 1

Number of views:
This page:151
Abstract pages:996
Full texts:193
References:133
Website: http://www.fmi.uni-sofia.bg/fmi/logic/vakarelov/

https://www.mathnet.ru/eng/person57189
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2018
1. P. Dimitrov, D. Vakarelov, “Dynamic contact algebras and quantifier-free logics for space and time”, Sib. Èlektron. Mat. Izv., 15 (2018),  1103–1144  mathnet  isi 1
2016
2. D. Vakarelov, “Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III”, Algebra Logika, 55:3 (2016),  273–299  mathnet; Algebra and Logic, 55:3 (2016), 181–197  isi  scopus 5
3. D. Vakarelov, “Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. II”, Algebra Logika, 55:1 (2016),  14–36  mathnet  elib; Algebra and Logic, 55:1 (2016), 9–23  isi  scopus 6
2014
4. D. Vakarelov, “Dynamic mereotopology. III. Whiteheadean type of integrated point-free theories of space and time. I”, Algebra Logika, 53:3 (2014),  300–322  mathnet  mathscinet; Algebra and Logic, 53:3 (2014), 191–205  isi  scopus 7

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   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024