Admissible Inference Rules in LTK 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ů v důkazu o rozhodnutelnosti Důkaz Shrnutí
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
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ů
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...
A co všechno z toho??? LTK (Logic of Time and Knowledge) je přijatelně rozhodnutelná....
Problémy se zpracováním Studium modální logiky a Kripkeho „všeho“ Příliš dlouhé důkazy a důkazové metody