Publications de
Philippe Balbiani, Petar Iliev, Dimiter Vakarelov
A modal logic for Pawlak’s approximation spaces with rough cardinality n
Dans : Fundamenta Informaticae, IOS Press, Vol. 83, p. 451-464, 2008.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
Dans : Fundamenta Informaticae, IOS Press, Vol. 81, p. 29-82, 2007.
Philippe Balbiani, Dimiter Vakarelov
Arrow logic with arbitrary intersections: applications to Pawlak’s information systems
Dans : Fundamenta Informaticae, IOS Press, Vol. 75, p. 1-25, 2007.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Dynamic logics of the region-based theory of discrete spaces
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 17, p. 39-61, 2007.
Philippe Balbiani, Dimiter Vakarelov
Dynamic extensions of arrow logic
Dans : Annals of Pure and Applied Logics, Elsevier, Vol. 127, p. 1-15, 2004.
Philippe Balbiani, Dimiter Vakarelov
PDL with intersection of programs: a complete axiomatization
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13, p. 231-276, 2003.
Philippe Balbiani, Dimiter Vakarelov
A modal logic for indiscernibility and complementarity in information systems
Dans : Fundamenta Informaticæ, Vol. 50, p. 1-21, 2002.
Philippe Balbiani, Dimiter Vakarelov
Iteration-free PDL with intersection: a complete axiomatization
Dans : Fundamenta Informaticae, Vol. 45, p. 1-22, 2001.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal logics for incidence geometries
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 7, p. 59-78, 1997.
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov
Modal logics for region-based theories of space
Dans : Algebraic and Topological Methods in Non-Classical Logics, Oxford, UK, 01/01/07-31/12/07, Guram Bezhanishvili (Eds.), Oxford University, Department of Mathematics, p. 4-5, 2007.
Philippe Balbiani, Dimiter Vakarelov
Preference structures: first-order characterization and modal logic
Dans : IPMU 2004, Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), Italie, 01/07/04-31/07/04, B. Bouchon-Meunier, G. Coletti, R. Yager (Eds.), Universdita degli studi di Perugia, p. 943-950, juillet 2004.
Philippe Balbiani, Dimiter Vakarelov
First-order characterization and modal analysis ofindiscernibility and complementarity in informationsystems
Dans : Symbolic and Quantitative Approaches to Reasoning withUncertainty, France, 01/01/01-31/12/01, Springer-Verlag, p. 772-781, janvier 2001.
Philippe Balbiani, Dimiter Vakarelov
Extending arrow logic
Dans : International Seminar on Relational Methods in Computer Science (RelMiCS 1998), Pologne, 01/01/98-31/12/98, Stefan Banach International Center, p. 13-17, 1998.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical structures and modal logic (regular paper)
Dans : Int. Conf. on Formal and Applied Practical Reasoning (FAPR 1996), Bonn, 03/06/96-07/06/96, Springer-Verlag, p. 43-57, juin 1996.
Résumé Accès : https://link.springer.com/chapter/10.1007/3-540-61313-7_62
BibTeX
Philippe Balbiani, Valentin Goranko, Ruuan Kellerman, Dimiter Vakarelov
Logical theories for fragments of elementary geometry
Dans : Handbook of Spatial Logics. M. Aiello, I. Pratt-Hartmann, J. van Benthem (Eds.) , Springer, p. 343-428, 2007.