On the relation of three-valued logic to modal logic
Commentationes Mathematicae Universitatis Carolinae (1981)
- Volume: 022, Issue: 4, page 637-653
- ISSN: 0010-2628
Access Full Article
top
How to cite
topBendová, 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- S. C. KLEENE, Introduction to Metamathematics, Van Nostrand, New York, 1952. (1952) Zbl0047.00703MR0051790
- P. HÁJEK K. BENDOVÁ Z. RENC, The GUHA method and the three-valued logic, Kybernetika 7 (1971),421-435. (1971) MR0324940
- P. HÁJEK T. HAVRÁNEK, Mechanizing Hypothesis Formation, (Mathematical Foundations for a General Theory), Springer-Verlag 1978. (1978) MR0501342
- 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
- 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
- S. A. KRIPKE, A completeness theorem in modal logic, J. Symb. Logic 24 (1959), 1-14. (1959) Zbl0091.00902MR0110638
- 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) Zbl0363.02025MR0460106
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.