BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2012/newsitem/4389/14- March-2012-CWI-PNA6-seminar-Sonja-Smets DTSTAMP:20120312T000000 SUMMARY:CWI PNA6 seminar, Sonja Smets ATTENDEE;ROLE=Speaker:Sonja Smets DTSTART;TZID=Europe/Amsterdam:20120314T160000 DTEND;TZID=Europe/Amsterdam:20120314T170000 LOCATION:CWI, Science Park 123, room L017 DESCRIPTION:This talk is based on joint work with A. Baltag on the use of concepts and techniques fr om Dynamic Epistemic Logic (DEL) to model and reas on about quantum behavior. First I will concentrat e on an improvement of the older results (due to P iron, Soler, Mayet and others) on the 'Hilbert-com plete' axiomatizations of algebraic quantum logic and present a dynamic-logical setting, in which ph ysical actions (and not only static physical prope rties) are logically represented. Secondly I will focus on compound systems and analyse both classic al and quantum correlations. Our formalism for thi s is based on an extension of epistemic logic with operators for 'group knowledge'. And as models I introduce correlation models, as a generalization of the 'interpreted systems' semantics (commonly u sed in Computer Science as a model for information flow in distributed systems). I use this second s etting to investigate the relationship between the information carried by each of the parts of a com plex system and the information carried by the who le system. Our dynamic logical setting explains th e non-local informational dynamics of quantum syst ems that are triggered by quantum observations (me asurements) and un-observed evolutions (quantum ga tes), and the epistemic logical setting yields an informational-logical characterization of the noti on of 'quantum entanglement'. X-ALT-DESC;FMTTYPE=text/html:\n
This tal k is based on joint work with A. Baltag on the use of concepts \n and techniques from Dynamic Epistemic Logic (DEL) to model and reason \n about quantum behavior. First I will concentra te on an improvement of \n the older result s (due to Piron, Soler, Mayet and others) on the \ n 'Hilbert-complete' axiomatizations of alg ebraic quantum logic and \n present a dynam ic-logical setting, in which physical actions (and not \n only static physical properties) ar e logically represented. Secondly I \n wil l focus on compound systems and analyse both class ical and quantum \n correlations. Our forma lism for this is based on an extension of \n epistemic logic with operators for 'group knowle dge'. And as models I \n introduce correlat ion models, as a generalization of the 'interprete d \n systems' semantics (commonly used in C omputer Science as a model for \n informati on flow in distributed systems). I use this second setting to \n investigate the relationship between the information carried by each of \n the parts of a complex system and the informat ion carried by the whole \n system. Our dyn amic logical setting explains the non-local inform ational\n dynamics of quantum systems that are triggered by quantum observations \n ( measurements) and un-observed evolutions (quantum gates), and the \n epistemic logical settin g yields an informational-logical \n charac terization of the notion of 'quantum entanglement' .
URL:/NewsandEvents/Archives/2012/newsitem/4389/14- March-2012-CWI-PNA6-seminar-Sonja-Smets END:VEVENT END:VCALENDAR