oalogo2  

AUTHOR(S): 

Beatrice Daniela Bucur

 

TITLE

Several remarks on generating a theoretical model of modal logic

pdf PDF

ABSTRACT

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

 

cc.png
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