datum: 7.11.2012 v 14:00
název: Vícehodnotová koalgebraická logika
přednášející: Matěj Dostál
místo konání: UI, 2.patro, místnost č.318

souhrn: Koalgebry jsou vhodným nástrojem pro studium reaktivních systémů. Účelem koalgebraické logiky je uniformní popis chování těchto systémů. Ve speciálním případě (pro systémy tvaru kripkovských rámců) získáváme jazyk s expresí klasické modální logiky. Co se stane, když budeme chtít tento přístup dále zobecnit a zavést vícehodnotovou relaci splnitelnosti? Tímto způsobem bychom mohli získat například vícehodnotovou modální logiku kripkovských rámců a modelů. Předvedu techniku zobecnění, některá úskalí, se kterými jsem se setkal, a ukážu sémantiku některých logik vzniklých touto technikou.