Beatrice Daniela Bucur



Several remarks on generating a theoretical model of modal logic

pdf PDF


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.


Accessibility relation, labeled graphs, transition system, undeterminism


[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