Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a natural modal logic, extending standard versions, and capable of addressing several well-known philosophical diﬃculties successfully. Second, this modal logic is used to introduce a rather diﬀerent way of looking at relational databases. The idea is to treat records as possible worlds, record entries as objects, and attributes as concepts, in the modal sense. This makes possible an intuitively satisfactory relational database theory. It can be extended, by the introduction of higher types, to deal with multiple-valued attributes and more complex things, though this is further than we take it here.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
Modal Logic From Kant to Possible Worlds Semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic.Charles S. Chihara - 1998 - Oxford University Press.
Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
Euclidean Hierarchy in Modal Logic.van Benthem Johan, Bezhanishvili Guram & Gehrke Mai - 2003 - Studia Logica 75 (3):327-344.
Added to index2010-12-22
Total downloads28 ( #183,760 of 2,171,746 )
Recent downloads (6 months)1 ( #326,702 of 2,171,746 )
How can I increase my downloads?