Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Dynamické epistemické logiky
Pivoňková, Martina ; Bílková, Marta (vedoucí práce) ; Sedlár, Igor (oponent)
V této práci se budeme zabývat logikou veřejného prohlášení, která je dynamickým rozšířením epistemické logiky. Nejprve vyložíme logiku pravdivého veřejného prohlášení pro multiagentní systém S5, a poté budeme zkoumat, jak by mělo vypadat veřejné prohlášení v systémech slabších než je S5. Zaměříme se konkrétně na systémy, v nichž neplatí axiom T a epistemický operátor nutnosti se v nich interpretuje nikoli jako "znalost , nýbrž jako "přesvědčení . Vytvoříme tak novou sé- mantiku veřejného prohlášení, které už nemusí být pravdivé, je ovšem jako pravdivé přijímáno. Systémy rozšířené o takovéto veřejné prohlá- šení se rovněž pokusíme axiomatizovat. Klíčová slova: logika veřejného prohlášení, logika přesvědčení
Dynamické epistemické logiky
Pivoňková, Martina ; Bílková, Marta (vedoucí práce) ; Sedlár, Igor (oponent)
V této práci se budeme zabývat logikou veřejného prohlášení, která je dynamickým rozšířením epistemické logiky. Nejprve vyložíme logiku pravdivého veřejného prohlášení pro multiagentní systém S5, a poté budeme zkoumat, jak by mělo vypadat veřejné prohlášení v systémech slabších než je S5. Zaměříme se konkrétně na systémy, v nichž neplatí axiom T a epistemický operátor nutnosti se v nich interpretuje nikoli jako "znalost , nýbrž jako "přesvědčení . Vytvoříme tak novou sé- mantiku veřejného prohlášení, které už nemusí být pravdivé, je ovšem jako pravdivé přijímáno. Systémy rozšířené o takovéto veřejné prohlá- šení se rovněž pokusíme axiomatizovat. Klíčová slova: logika veřejného prohlášení, logika přesvědčení

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.