On the relation of three-valued logic to modal logic
Bendová, Kamila
Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981), p. 637-653 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1981-01-01
Classification:  03B45,  03B46,  03B50 
@article{106107,
     author = {Kamila Bendov\'a},
     title = {On the relation of three-valued logic to modal logic},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {022},
     year = {1981},
     pages = {637-653},
     zbl = {0481.03012},
     mrnumber = {647013},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106107}
}

Bendová, Kamila. On the relation of three-valued logic to modal logic. Commentationes Mathematicae Universitatis Carolinae, Tome 022 (1981) pp. 637-653. http://gdmltest.u-ga.fr/item/106107/

S. C. Kleene Introduction to Metamathematics, Van Nostrand, New York, 1952. (1952) | MR 0051790 | Zbl 0047.00703

P. Hájek K. Bendová Z. Renc The GUHA method and the three-valued logic, Kybernetika 7 (1971),421-435. (1971) | MR 0324940

P. Hájek T. Havránek Mechanizing Hypothesis Formation, (Mathematical Foundations for a General Theory), Springer-Verlag 1978. (1978) | MR 0501342

J. P. Cleave The notion of logical consequence in the Logic of inexact predicates, Zeitschr. Math. Logik Grundlagen Math. 20 (1974), 307-324. (1974) | MR 0373828 | Zbl 0299.02015

D. Scott Combinators and Classes, Lambda-Calc. Comput. Sci. Theory, Proc. Symp., Rome 1975, Lecture Notes in Computer Science 37 (1975), 1-26. (1975) | MR 0505296 | Zbl 0342.02018

S. A. Kripke A completeness theorem in modal logic, J. Symb. Logic 24 (1959), 1-14. (1959) | MR 0110638 | Zbl 0091.00902

R. Pets Modal logics, Paris (1965). (1965)

W. Lipski On the logic of incomplete information, in: Mathematical Foundations of Computer Science 1977 (J. Gruska, Ed.), Lecture Notes in Computer Science 53, Springer-Verlag, Berlin 1977, 374-381. (1977) | MR 0460106 | Zbl 0363.02025