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...

Typ záznamu:	stať ve sborníku (D)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	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.

Podnázev
Rok vydání:	2018
Obor:	Obecná matematika
Počet stran:	5
Strana od:	11
Strana do:	15
Forma vydání:	Elektronická verze
Kód ISBN:
Kód ISSN:
Název sborníku:	AiML 2018 Booklet of Short Papers
Sborník:	Mezinárodní
Název nakladatele:	University of Bern
Místo vydání:	Bern
Stát vydání:	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ů akce:	Celosvětová akce
Kód UT WoS:
EID:

Klíčová slova anglicky:	Three-valued logic, Kripke semantics, truth gap, error propagation
Popis v původním jazyce:	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.
Popis v anglickém jazyce:

Seznam ohlasů

Ohlas

R01:

Complementary Content

${loading}