|
|
|
AUTHOR(S):
|
|
TITLE Several remarks on generating a theoretical model of modal logic |
 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 |
|
|
