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 REFERENCES [1] C. Baier and J.-P. Katoen, Principles of model checking, The MIT Press Cambridge, London, 2008. [2] P. Blackburn, J. van Benthem and F. Wolter, Handbook of modal logic, Studies in Logic and Practical Reasoning 3. Amsterdam: Elsevier, 2007. [3] P. Blackburn, M. de Rijke and Y. Venema, Modal Logic, Cambridge University Press, Cambridge, 2001. [4] M.J. Cresswell and G.E. Hughes, An Introduction to Modal Logic, Methuen, London, 1968. [5] S. Kripke, Semantical considerations on modal logic, 1963. [6] N. Tandareanu, Baze de cunostinte, Universitatea din Craiova, 2004.
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