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