PDFAbstract: The aim of this paper is to establish a connection between modal logics and labeled graphs, which is useful in solving the problem of undeterminism.
Keywords: Accessibility relation, labeled graphs, transition system, undeterminism
Cite this paper
Beatrice Daniela Bucur. (2017) Several remarks on generating a theoretical model of modal logic. International Journal of Computers, 2 , 63-65
Copyright © 2017 Author(s) retain the copyright of this article. This article is published under the terms of the Creative Commons Attribution License 4.0