Mathematisches Kolloquium
Am Freitag, 27. Mai 2005, um 16 Uhr c.t. spricht
Prof. Dr. Grigori Mints
(Stanford University)
im Hörsaal E27 über das Thema
Dynamic Topological Logic
Zusammenfassung: Dynamic Topological Logic provides a context for studying the confluence of the topological dynamics, topological semantics for modal logic and temporal logic. Let a dynamic topological system be a topological space X together with a continuous function f on X. Modality is interpreted as topological interior and temporal connective "tomorrow" models f. Dynamic topological logics are logics of dynamic topological systems, just as S4 is the complete logic of topological spaces. There are many interesting results, but even more open problems.
Alle Interessierten sind hiermit herzlich eingeladen. Eine halbe Stunde vor dem Vortrag gibt es Kaffee und Tee im Sozialraum (Raum 448) im 4. Stock.
Treffpunkt zum Abendessen um 19.00 Uhr wird noch bekannt gegeben.