Speaker: Adam Bjorndahl (Carnegie Mellon University)
Date and Time: Friday, May 22nd 2026, 16:00-17:30
Venue: ILLC Seminar Room F1.15, Science Park 107 and online.
Title: A Logic of Uncertain Interpretation
Abstract. I introduce a logical framework for reasoning about “uncertain interpretations” of formulas using a simple “variable valuation” mechanic. In this setting it is natural to consider a kind of “strict” conditional that might be understood as “meaning entailment”; this in turn can be leveraged to define a notion of “evidentially supported” belief that turns out to be strongly connected with Dempster-Shafer theory.