Final Model Property and Filtrations in Modal Logic

Talk
September 27, 2004
INF5170 - Master Seminar in Logic