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'
.

\n
URL:/NewsandEvents/Archives/2012/newsitem/4389/14-
March-2012-CWI-PNA6-seminar-Sonja-Smets
END:VEVENT
END:VCALENDAR