Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

Michal Košinár. Úvod do problematiky Modální logiky a jejich rozhodnutelnost Přijatelné rozhodování v modálních logikách Užití Kripkeho sémantiky a rámců.

Podobné prezentace


Prezentace na téma: "Michal Košinár. Úvod do problematiky Modální logiky a jejich rozhodnutelnost Přijatelné rozhodování v modálních logikách Užití Kripkeho sémantiky a rámců."— Transkript prezentace:

1 Michal Košinár

2 Úvod do problematiky Modální logiky a jejich rozhodnutelnost Přijatelné rozhodování v modálních logikách Užití Kripkeho sémantiky a rámců v důkazu o rozhodnutelnosti Důkaz Shrnutí

3 LTK Článek se zabývá „přijatelnými“ inferenčními pravidly v modální logice Lineární Logice Znalostí a Času (Linear Logic of Knowledge and Time -LTK) LTK je multimodální logika, popisující lineární čas a znalosti Článek prozkoumává efektivní vlastnosti konečného modelu pro LTK Hledání n-charakterizujícího modelu pro LTK

4 Kripkeho sémantika Cílem článku je důkaz, že modální logika LTK je „přijatelně“rozhodnutelná užitím Kripkeho sémantiky LTK rámců jako 3-modálních Kripeho rámců Nalezení vlastností konečného modelu pro LTK pro dokázání, že LTK je rozhodnutelná užirím vlastností Kripkeho modelu Užití Kripkeho rámců

5 Užití rámců pro důkaz rozhodnutelnosti Konstruování spočetné n-charakterizující pro LTK Důkazní metody pro spočetnost a omezení na úrovni n viz článek Užití rámců pro definovatelnost světa (prvků množiny proměnných světů) a... dlouhý důkaz o užití předchozích lemmat, důkazů a definic, abychom dokázali...

6 A co všechno z toho??? LTK (Logic of Time and Knowledge) je přijatelně rozhodnutelná....

7 Problémy se zpracováním Studium modální logiky a Kripkeho „všeho“ Příliš dlouhé důkazy a důkazové metody


Stáhnout ppt "Michal Košinár. Úvod do problematiky Modální logiky a jejich rozhodnutelnost Přijatelné rozhodování v modálních logikách Užití Kripkeho sémantiky a rámců."

Podobné prezentace


Reklamy Google