Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	Kripke modalities with truth-functional gaps
Citace	Běhounek, L. a Dvořák, A. Kripke modalities with truth-functional gaps. In: Advances in Modal Logic 2018: AiML 2018 Booklet of Short Papers 2018-08-27 Bern. Bern: University of Bern, 2018. s. 11-15.

Subtitle
Publication year:	2018
Obor:	Obecná matematika
Number of pages:	5
Page from:	11
Page to:	15
Form of publication:	Elektronická verze
ISBN code:
ISSN code:
Proceedings title:	AiML 2018 Booklet of Short Papers
Proceedings:	Mezinárodní
Publisher name:	University of Bern
Place of publishing:	Bern
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	Advances in Modal Logic 2018
Místo konání konference:	Bern
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:
EID:

Key words in English:	Three-valued logic, Kripke semantics, truth gap, error propagation
Annotation in original language:	We introduce and study a family of three-valued Kripke modalities, in which the third truth value serves as an error code for undefined truth. We discuss several meaningful ways of error propagation by the modalities and present a few initial observations on the resulting three-valued modal logic.
Annotation in english language:

References

Reference

R01:

Complementary Content

${loading}