Publications of
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
In : Journal of Logic and Algebraic Programming, Elsevier, Vol. 79 N. 8, pp. 707-721, 2010.
Philippe Balbiani, Tinko Tinchev
Foreword
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Special issue Special Issue, Vol. 18, pp. 136-136, 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
In : Fundamenta Informaticae, IOS Press, Vol. 81, pp. 29-82, 2007.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Dynamic logics of the region-based theory of discrete spaces
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 17, pp. 39-61, 2007.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
In : Journal of Applied Logic, Elsevier, Vol. 5, pp. 421-434, 2007.
Philippe Balbiani, Tinko Tinchev
Definability over the class of all partitions
In : Journal of Logic and Computation, Oxford University Press, Vol. 16, pp. 541-557, 2006.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal logics for incidence geometries
In : Journal of Logic and Computation, Oxford University Press, Vol. 7, pp. 59-78, 1997.
Philippe Balbiani, Tinko Tinchev
Complete axiomatizations of modal logics for region-based theories of space (regular paper)
In : Logic Colloquium (LC 2009), Sofia (Bulgarie), 01/01/09-31/12/09 (invited speaker), 2009.
Philippe Balbiani, Tinko Tinchev
Boolean logics with relations
In : International Seminar on Relational Methods in Computer Science (RelMiCS 2008), Frauenwörth (Allemagne), 01/01/08-31/12/08, Springer-Verlag, pp. 4-21, 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
In : Algebraic and Topological Methods in Non-Classical Logics, Oxford, UK, 01/01/07-31/12/07, Guram Bezhanishvili (Eds.), Oxford University, Department of Mathematics, pp. 4-5, 2007.
Philippe Balbiani, Tinko Tinchev
Euclidean geometry with lines alone
In : Logic Colloquium 2005, Athens (Greece), 01/07/05-31/08/05, S. Wainer (Eds.), University of Athens, pp. 47-47, 2005.
Philippe Balbiani, Tinko Tinchev
Decidability and complexity of definability within the class of all partitions
In : Proceedings of the 5th Panhellenic Logic Symposium, Athens (Greece), 01/07/05-31/08/05, C. Dimitracopoulos (Eds.), University of Athens, pp. 26-33, 2005.
Philippe Balbiani, Tinko Tinchev
Line-based affine reasoning in Euclidean plane
In : Logics in Artificial Intelligence (Jelia 2004), Portugal, 01/09/04-30/09/04, J. Alfares, J. Leite (Eds.), Springer-Verlag, pp. 474-486, September 2004.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical structures and modal logic (regular paper)
In : Int. Conf. on Formal and Applied Practical Reasoning (FAPR 1996), Bonn, 03/06/96-07/06/96, Springer-Verlag, pp. 43-57, June 1996.
Abstract URL : https://link.springer.com/chapter/10.1007/3-540-61313-7_62
BibTeX
Philippe Balbiani, Tinko Tinchev
Applied Modal Logic
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 18, 2008.