Search the dblp DataBase

Publications of Author

1. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
   Geometrical Structures and Modal Logic. [Citation Graph (0, 0)][DBLP]
   FAPR, 1996, pp:43-57 [Conf]
   
2. Solomon Passy, Tinko Tinchev
   Quantifiers in combinatory PDL: completeness, definability, incompleteness. [Citation Graph (0, 0)][DBLP]
   FCT, 1985, pp:512-519 [Conf]
   
3. Philippe Balbiani, Tinko Tinchev
   Line-Based Affine Reasoning in Euclidean Plane. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:474-486 [Conf]
   
4. Solomon Passay, Tinko Tinchev
   An Essay in Combinatory Dynamic Logic [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1991, v:93, n:2, pp:263-332 [Journal]
   
5. Solomon Passy, Tinko Tinchev
   PDL with Data Constants. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1985, v:20, n:1, pp:35-41 [Journal]
   
6. Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
   Modal Logics for Incidence Geometries. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1997, v:7, n:1, pp:59-78 [Journal]
   
7. Philippe Balbiani, Tinko Tinchev
   Definability Over the Class of all Partitions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:541-557 [Journal]
   
8. Philippe Balbiani, Tinko Tinchev
   Line-based affine reasoning in Euclidean plane. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:3, pp:421-434 [Journal]
   
9. 
   Boolean Logics with Relations. [Citation Graph (, )][DBLP]