Data storage interpretation of labeled modal logic

Citations of this article
Mendeley users who have this article in their library.


We introduce reference structures - a basic mathematical model of a data organization capable of storing and utilizing information about its addresses. A propositional labeled modal language is used as a specification and programming language for reference structures; the satisfiability algorithm for modal language gives a method of building and optimizing reference structures satisfying a given formula. Corresponding labeled modal logics are presented, supplied with cut free axiomatizations, completeness and decidability theorems are proved. Initialization of typed variables in some programming languages is presented as an example of a reference structure building.




Artëmov, S., & Krupski, V. (1996). Data storage interpretation of labeled modal logic. Annals of Pure and Applied Logic, 78(1–3), 57–71.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free