de senere år har epistemisk logik udviklet sig i alskens retninger, dog med det gennemgående tema, at de systemer, der modelleres, ikke blot er statiske, men også beskriver udvikling inden for en (eller en gruppe) af agenters viden. Dette illustreres især tydeligt i de forskellige dynamiske logikker, der er blevet konstrueret, heriblandt i Public Announcement Logics, hvori agenter kan tilkendegive deres viden om en given proposition og derved påvirke andre agenters viden.
To ting er dog iøjnefaldende ved nuværende behandlinger; det første er, at agenterne intet sprog har at kommunikere i. Dette kan man se igennem fingre med, hvis det er sådan, at kendskabet til sproget ingen epistemisk betydning har for opfattelsen af en given ytret proposition. For at undersøge dette, kræves det dog, at logikken konstrueres, hvilket binder sig op på det andet punkt; på nuværende tidspunkt findes der ingen agenter. Agenterne i epistemisk logik er abstrakte binære relationer over en mængde af situationer - selv i en første ordens modallogik. Det vil sige, at har en given agent a fået at vide af agent b, at b ved ɸ, så er a ikke i stand til fra dette at slutte, at der findes en agent x sådan at x ved ɸ, hvilket yderligere har den effekt, at det ikke er muligt at abstrahere fra de specifikke agenters navne. Svarende til et hverdagsscenarie; det er ganske muligt at vide, at der findes en ekspert, sådan at denne ekspert ved, at drivgasser ødelægger ozonlaget, uden at vide, hvem denne ekspert er.
Formålet med dette del-1-foredrag er, at introducere en semantik for første ordens modallogik, der opfatter intentionelle operatorer som pseudoprædikatiske operatorer. Der vil blive indledt med en hurtig gennemgang af første ordens modallogik, hvorefter dennes semantik udbygges substantielt. Oplægget vil primært være modelteoretisk, skønt visse aksiomer og slutningsregler vil blive diskuteret; eksempelvis vil det blive vist, hvorfor en "non-rigid" konstantopfattelse ikke er en plausibel kandidat til navngivelse af agenter, da ellers kendte aksiomer mister deres validitet. Som introduktion til (en endnu uplanlagt) del 2 vil kendskab til objekter (knowing who vs. knowing that) blive diskuteret, hvorfor også nogle af grundpillerne fra Hintikkas epistemologi vil blive gennemgået. Del 2 vil blive præsenteret i løbet af Logikseminar-forløbet i foråret 2008.
Foredraget kræver enten en hurtig opfattelsesevne eller basalt kendskab til modallogik. Sidstnævnte anbefales.