On the relation of three-valued logic to modal logic

Kamila Bendová

Commentationes Mathematicae Universitatis Carolinae (1981)

  • Volume: 022, Issue: 4, page 637-653
  • ISSN: 0010-2628

How to cite

top

Bendová, Kamila. "On the relation of three-valued logic to modal logic." Commentationes Mathematicae Universitatis Carolinae 022.4 (1981): 637-653. <http://eudml.org/doc/17138>.

@article{Bendová1981,
author = {Bendová, Kamila},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {Kripke models; set of all two-valued completions; propositional logic; monadic predicate logic},
language = {eng},
number = {4},
pages = {637-653},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {On the relation of three-valued logic to modal logic},
url = {http://eudml.org/doc/17138},
volume = {022},
year = {1981},
}

TY - JOUR
AU - Bendová, Kamila
TI - On the relation of three-valued logic to modal logic
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1981
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 022
IS - 4
SP - 637
EP - 653
LA - eng
KW - Kripke models; set of all two-valued completions; propositional logic; monadic predicate logic
UR - http://eudml.org/doc/17138
ER -

References

top
  1. S. C. KLEENE, Introduction to Metamathematics, Van Nostrand, New York, 1952. (1952) Zbl0047.00703MR0051790
  2. P. HÁJEK K. BENDOVÁ Z. RENC, The GUHA method and the three-valued logic, Kybernetika 7 (1971),421-435. (1971) MR0324940
  3. P. HÁJEK T. HAVRÁNEK, Mechanizing Hypothesis Formation, (Mathematical Foundations for a General Theory), Springer-Verlag 1978. (1978) MR0501342
  4. J. P. CLEAVE, The notion of logical consequence in the Logic of inexact predicates, Zeitschr. Math. Logik Grundlagen Math. 20 (1974), 307-324. (1974) Zbl0299.02015MR0373828
  5. D. SCOTT, Combinators and Classes, Lambda-Calc. Comput. Sci. Theory, Proc. Symp., Rome 1975, Lecture Notes in Computer Science 37 (1975), 1-26. (1975) Zbl0342.02018MR0505296
  6. S. A. KRIPKE, A completeness theorem in modal logic, J. Symb. Logic 24 (1959), 1-14. (1959) Zbl0091.00902MR0110638
  7. R. PETS, Modal logics, Paris (1965). (1965) 
  8. 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) Zbl0363.02025MR0460106

NotesEmbed ?

top

You must be logged in to post comments.