Abstract
Ewa Orlowska[1,2] presented a class of relations — aceessibllity relations determined by a set of parameters. These parameters are a formal counterpart of properties or characteristics of states which are associated by means of accessibility relation. The author has shown how properties of sets of parameters influence properties of accessibility relations and given interesting results. In this paper, some further algebraic properties of relative accessibility are discussed. We also give a necessary and sufficient condition, under which the set of accessibility relations {R(P)} P ⊆PAR forms a lattice by means of usual set operations.
References
Ewa Orlowska, Logic of Nondeterministic Information, Studia Logica, Vol. XLIV, No. 1, 1985.
Ewa Orlowska, Kripke Models with Relative Accessibility, ICS PAS Reports, 569, 19, 1985.
S. Kripke, Semantical Analysis of Modal Logic I, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 9.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zhang, M. On relative accessibility depending on a set of parameters. J. of Comput. Sci. & Technol. 4, 286–288 (1989). https://doi.org/10.1007/BF02943543
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943543