Talks today somewhat interesting, highly preoccupied with decidability of various temporal logics. One had a nested notion of time meant to model function call nesting - I couldn't see how it might play out in applications, but it seemed sort of interesting by itself.
---
Another interesting talk I didn't totally grok but contained some new and comprehensible material: Giordano, Gliozzi, Olivetti, Pozzato doing something with a "typical member" modality semantically derived from a global Nötherian order on "typicality" of possible worlds. This reminds me of a
neelk or fancybred or someone told me about once...
Meh, but now she is introducing a notion of completion whereby you assume that individuals are typical members of the most specific category to which they belong, something that makes me uncomfortable in much the same hazy way as some reasoning about OO inheritance does. Pity that all these closed-world/open-world distinctions don't have a nicer, more uniform account than they do presently.
...
Something about "conditional implication" and nonmonotonic reasoning coming out during the QnA; apparently the T modality decomposes that implication like ! does to unrestricted implication.