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/4500/29-
 May-2012-Logic-Tea-Virginie-Fiutek
DTSTAMP:20120524T000000
SUMMARY:Logic Tea, Virginie Fiutek
ATTENDEE;ROLE=Speaker:Virginie Fiutek
DTSTART;TZID=Europe/Amsterdam:20120531T170000
DTEND;TZID=Europe/Amsterdam:20120531T180000
LOCATION:Room A1.04, Science Park 904, Amsterdam
DESCRIPTION:In this presentation I introduce the f
 ormal foundation of a new game semantics to define
  the concept of defeasible knowledge. My approach 
 is inspired by Keith Lehrer's use of "justificatio
 n games''. These games are an essential ingredient
  of Lehrer's account of knowledge as "undefeated j
 ustified acceptance'': an agent plays against an (
 ultra)critical opponent in order to give an irrefu
 table justification for accepting a certain propos
 ition. My formal treatment of such type of games s
 hould provide a valuable addition to the literatur
 e on formal epistemology. I will make the notions 
 of preference, justification, truth, belief and kn
 owledge explicit within the framework of Dynamic E
 pistemic Logic and its recent extensions to deal w
 ith belief revision theory. This talk is based on 
 on-going joint work with A. Baltag and S. Smets.  
 The Logic Tea homepage can be found at https://www
 .illc.uva.nl/logic_tea/ For more information, plea
 se contact Johannes Marti (johannes.marti at gmail
 .com), Sebastian Speitel (sebastian.speitel at gma
 il.com), or Matthijs Westera (M.Westera at uva.nl)
 .
X-ALT-DESC;FMTTYPE=text/html:\n        <p>In this 
 presentation I introduce the formal foundation of 
 a new game semantics to define the concept of defe
 asible knowledge. My approach is inspired by Keith
  Lehrer's use of "justification games''. These gam
 es are an essential ingredient of Lehrer's account
  of knowledge as "undefeated justified acceptance'
 ': an agent plays against an (ultra)critical oppon
 ent in order to give an irrefutable justification 
 for accepting a certain proposition. My formal tre
 atment of such type of games should provide a valu
 able addition to the literature on formal epistemo
 logy. I will make the notions of preference, justi
 fication, truth, belief and knowledge explicit wit
 hin the framework of Dynamic Epistemic Logic and i
 ts recent extensions to deal with belief revision 
 theory. This talk is based on on-going joint work 
 with A. Baltag and S. Smets.</p>\n    \n        <p
 >The Logic Tea homepage can be found at <a target=
 "_blank" href="https://www.illc.uva.nl/logic_tea/"
 >https://www.illc.uva.nl/logic_tea/</a> For more i
 nformation, please contact Johannes Marti (<a clas
 s="email">johannes.marti <span class="at">at</span
 > gmail.com</a>), Sebastian Speitel (<a class="ema
 il">sebastian.speitel <span class="at">at</span> g
 mail.com</a>), or Matthijs Westera (<a class="emai
 l">M.Westera <span class="at">at</span> uva.nl</a>
 ).</p>\n    
URL:/NewsandEvents/Archives/2012/newsitem/4500/29-
 May-2012-Logic-Tea-Virginie-Fiutek
END:VEVENT
END:VCALENDAR