A modal theory of arrows. Arrow logics I

  • Dimiter Vakarelov
Invited Paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 633)


The notion of arrow structure /a.s./ is introduced as an algebraic version of the notion of directed multi graph. By means of a special kind of a representation theorem for arrow structures it is shown that the whole information of an a.s. is contained in the set of his arrows equipped with four binary relations describing the four possibilities for two arrows to have a common point. This makes possible to use arrow structures as a semantic base for a special polymodal logic, called in the paper BAL /Basic Arrow Logic/. BAL and various kinds of his extensions are used for expressing in a modal setting different properties of arrow structures. Several kinds of completeness theorems for BAL and some other arrow logics are proved, including completeness with respect to classes of finite models. And the end some open problems and possibilities for further development of the “arrow” approach are formulated.


Arrow structures Modal logics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BEN 86]
    VAN BENTHEM J.F.A.K., Modal Logic and Classical Logic, Bibliopolis, Napoli, 1986.Google Scholar
  2. [BEN 89]
    VAN BENTHEM J.F.A.K. Modal Logic and Relational Algebra, manuscript, May 1989, to appear in the proceedingsof Malcev Conference on Algebra, Novosibirsk, 1997.Google Scholar
  3. [BEN 90]
    VAN BENTHEM J.F.A.K. Private letter, June 1990.Google Scholar
  4. [H&C 84]
    HUGHES G.E. & M.J.CRESSWELL, A companion to Modal Logic, Methuen, London, 1984.Google Scholar
  5. [J&T 51]
    JONSSON B., TARSKI A. Boolean algebras with operators. Americ. J. Math., Part I: 73 891–993; Part II: 74,127–162, 1951.Google Scholar
  6. [KRA 89]
    KRAMER R.L. Relativized Relational Algebras, manuskript, April 1989, to appear in the proc. of the Algebraic Logic Conference, Budapest 1988.Google Scholar
  7. [MA 82]
    MADDUX R. D. Some varieties containing relational algebras, Trans. Amer. Math. Soc. Vol 272(1982), 501–526.Google Scholar
  8. [MIK 92]
    MIKULAÄS Sz., The completeness of the Lambek Calculus with respect to relational semantics, ITLI Prepublications, University of Amsterdam, 1992.Google Scholar
  9. [NÉM 91]
    NÉMETI I. Algebraizations of Quantifier Logics, an introductory overview, manuscript, June1991, to appear in Studia Logica.Google Scholar
  10. [ROOR 91]
    ROORDA D. Dyadic Modalities and Lambek Calculus, in Colloquium on Modal Logic 1991, ed. M. de Rijke, Amsterdam 1991.Google Scholar
  11. [ROOR 91a]
    ROORDA D. Resource Logics, PhD thesis, Fac. Math. and Comp. Sc., University of Amsterdam, Amsterdam 1991.Google Scholar
  12. [SEG 71]
    SEGERBERG K. An Essay in Classical Modal Logic, Filosofiska Studier 13, Uppsala, 1971.Google Scholar
  13. [VAK 90]
    VAKARELOV D. Arrow logics, Manuscript, September 1997Google Scholar
  14. [VAK 91]
    VAKARELOV D. Rough Polyadic Modal Logics, Journal of Applied Non-Classical Logics, v. 1, 1(1991), 9–35.Google Scholar
  15. [VAK 91a]
    VAKARELOV D. Modal Logics for Reasoning about Arrows: Arrow Logics, in the proc. of 9-th International Congress of Logic Methodology and Philosophy of Sciences, Section 5 — Philosophical Logic, August 7–14, 1991, Uppsala.Google Scholar
  16. [VAK 92]
    VAKARELOV D. Arrow logics with cylindric operators, abstract of a paper submeted to the 1992 European Summer Meeting of the ASL.Google Scholar
  17. [VEN 89]
    VENEMA Y. Two-dimensional Modal Logic for Relational Algebras and Temporal Logic of Intervals, ITLI-prepublication series LP-89-03, University of Amsterdam, Amsterdam 1989.Google Scholar
  18. [VEN 91]
    VENEMA Y. Many-dimensional Modal Logic, PhD thesis, September 1991, Fac. Math. and Comp. Sc., University of Amsterdam. To appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Dimiter Vakarelov
    • 1
  1. 1.Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and InformaticsSofia UniversitySofiaBulgaria

Personalised recommendations