Talk
September 27, 2004
INF5170 - Master Seminar in Logic

Final Model Property and Filtrations in Modal Logic