Abstract
There exist many formal schemes and tools for representing knowledge about different types of data. Sometimes we can gain a better understanding if our information has some graphical representation. In many cases arrows are very suitable visual objects for representing various data structures: different kinds of graphs, binary relations, mappings, categories and so on. An abstract form of this representation scheme is the notion of arrow structure, which, in this paper, is an algebraic version of the notion of directed multi-graph.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Andréka and Sz. Mikulás. Lambek Calculus and its relational semantics: completeness and incompleteness. Journal of Logic, Language and Information, 3:1–37, 1994.
A. Arsov. Basic arrow logic with relation algebraic operators. ILLC Research Report LP-94–02, University of Amsterdam, 1994.
J. van Benthem. Modal logic and relational algebra. Manuscript, ILLC, University of Amsterdam, 1989.
J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, 1985.
G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, London, 1984.
B. Jónsson and A. Tarski. Boolean algebras with operators, Part I. American Journal of Mathematics, 73:891–939, 1951.
R.L. Kramer. Relativized relational algebras. In H. Andréka, D. Monk, and I. Németi, editors, Algebraic Logic. North-Holland, Amsterdam, 1989.
R. Maddux. Some varieties containing relation algebras. Transactions of the American Mathematical Society, 272:501–526, 1982.
I. Németi. Algebraizations of quantifier logics. Studia Logica, 51:485–570, 1991.
D. Roorda. Resource Logics. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1991.
D. Roorda. Dyadic modalities and lambek calculus. In M. de Rijke, editor, Diamonds and Defaults, pages 215–253. Kluwer, Dordrecht, 1993.
K. Segerberg. An Essay in Classical Modal Logic. Filosofiska Studier 13. University of Uppsala, 1971.
D. Vakarelov. Arrow logics. Manuscript, University of Sofia, 1990.
D. Vakarelov. Modal logics for reasoning about arrows: arrow logics. In Conference Proc. 9th International Congress of Logic, Methodology, and Philosophy of Sciences, Uppsala, 1991.
D. Vakarelov. Rough polyadic modal logics. Journal of Applied Non-Classical Logics, 1:9–35, 1991.
D. Vakarelov. Arrow logics with cylindric operators. Abstract of a paper presented at the 1992 European Summer Meeting of the ASL, 1992.
D. Vakarelov. A modal theory of arrows: arrow logics I. In D. Pearce and G. Wagner, editors, Logics in AI, European Workshop ‘92, pages 1–24. LNAI 633, Springer-Verlag, 1992.
Y. Venema. Two-dimensional modal logics for relation algebras and temporal logic of intervals. Technical Report LP-89–03, Institute for Language, Logic and Information, 1989.
Y. Venema. Many-Dimensional Modal Logic. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Vakarelov, D. (1997). Modal Logics of Arrows. In: de Rijke, M. (eds) Advances in Intensional Logic. Applied Logic Series, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8879-9_6
Download citation
DOI: https://doi.org/10.1007/978-94-015-8879-9_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4897-4
Online ISBN: 978-94-015-8879-9
eBook Packages: Springer Book Archive