C.A.D.I.L.L.A.C.
  • Home
  • C.A.D.I.L.L.A.C. News Blog
  • C.A.D.I.L.L.A.C. Events
    • 2016 Cognitive, linguistic and logical aspects of perspective-taking
    • 2016 Autism Research Network Meeting
    • 2015 Stig Andur Pedersen's retirement symposium
    • 2015 Cognitive, linguistic and logical aspects of perspective-taking 2015
    • 2014 Arthur Prior
    • 2014 Workshop on Planning, Logic and Social Intelligence
    • 2014 Mathematical Reflections
    • Modality and Modalities, M&M 2012- 2014
  • Contact us
  • Links and Resources

Welcome to our News Blog

Keep up-to-date with news, announcements and events in the area and abroad. Feel free to contact us if you have something you'd like us to share.

contact us

Hans van Ditmarsch "Awareness bisimulation, knowledge, and awareness" 

28/6/2012

 
Thursday 28 June 2012
Roskilde University
14:00

(This is joint work with Tim French, Fernando Velazquez, and Yi Wang)
We consider semantic structures and logics that differentiate between being uncertain about a proposition, being unaware of a proposition, becoming aware of a proposition, and getting to know the truth value of a proposition. We propose a unified setting to model this variety of static and dynamic aspects of awareness and knowledge. Various derived notions will be discussed: explicit knowledge, implicit knowledge, and also novel epistemic notions such as speculative knowledge (back to the motivation in Levesque's 'A Logic of Implicit and Explicit Belief', one can speculate over variables of which one is unaware, e.g. if you are unaware of p, then p v ~p is still speculatively known by you). A cornerstone of this framework is the notion of awareness bisimulation - this is the proper notion of structural similarity on the structures enriched with awareness of propositional variables proposed by Fagin and Halpern in 'Belief, awareness, and limited reasoning'. Just as bisimilarity preserves logical truth, awareness bisimilarity preserves the truth of which you are aware.

Hans van Ditmarsch on "refinement modal logic"

26/6/2012

 
Tuesday 26 June 2012
at 13.00, Hans van Ditmarsch will give a talk on "refinement modal logic" at the Technical University of Denmark (building 305, room 053).  His visit is hosted by Thomas Bolander, Technical University of Denmark, and the trip is sponsored by the HYLOCORE project. Please see the attached pdf file for abstract and details.
talk_hans_van_ditmarsch_jun2012.pdf
File Size: 343 kb
File Type: pdf
Download File

    Archives

    May 2016
    February 2016
    January 2016
    September 2015
    June 2015
    April 2015
    February 2015
    December 2014
    May 2014
    April 2014
    March 2014
    December 2013
    October 2013
    September 2013
    May 2013
    April 2013
    August 2012
    June 2012
    May 2012
    April 2012
    February 2012
    October 2011

    Categories

    All
    Adrianne Rini
    Carlo Proietti
    Emmanuel Genot
    Guillaume Aucher
    Hans Van Ditmarsch
    Hanti Lin
    Jens Ulrik Hansen
    Justine Jacot
    Kevin T. Kelly
    Klaus Frovin Jørgensen
    Luciana Benotti
    Martin Mose Bentzen
    Max Cresswell
    Mikkel Gerken
    Olivier Roy
    Patrick Blackburn
    Pelle Guldborg Hansen
    Peter Øhrstrøm
    Rasmus K. Rendsvig
    Sebastian Enqvist
    Thomas Bolander
    Torben Braüner
    Valentin Goranko

    RSS Feed

Powered by Create your own unique website with customizable templates.