Wednesday, October 9, 2013

Wednesday, October 9, 2013

Reading

  • Part of Manuel's paper.
  • Enough of Patterson, "A Logical Treatment of Constructive Duality", to realize it doesn't have what I need.
  • Ditto de Freitas, Viana, Veloso, Veloso, & Benevides, "On Hybrid Arrow Logic".
  • Halpern & Shoham, "A Modal Logic of Time Intervals": Score! I found the example I needed.
  • In order to use H&S, I needed to follow it up with Venema 1990.

Writing

  • Structuralist paper. It's suddenly become a real paper, not a short note; I think I jumped from 6 pages to 10 today. Who knows. Maybe I will end up submitting it to AiML.

Revising

Refereeing

  • A bit of IEP stuff.

Teaching

Conferences

  • Worked on Procida follow-up webpage a bit.

Miscellaneous

No comments:

Post a Comment