engleski

Dvnamic Logic

Izlažu se osnovna obilježja dinamičnog obrata u logici i opisuju se neke utjecajnije teorije i autori(Quine, AGM teorija, J. van Benthem, J. Hintikka). Mogućnost dinamičnog modeliranja ispituje se na primjeru nemonotone, "prima facie" posljedice. Daje se uvod u modalnu logiku i njezinu metateoriju. Izlaže se propozicijska dinamična logika s osloncem na pristup Kristera Segerberga.

modal logic; dynamic semantics; propositional dynamic logic

nije evidentirano