Expressive Incompleteness of Two-Dimensional Modal Logic
Fabio Lampert (University of California, Davis)

October 21, 2016, 11:00am - 12:00pm
Logic Group, University of Melbourne

Old Quad
Parkville 3010


Shawn Standefer
University of Melbourne

Topic areas


Fabio Lampert (UC Davis) will present "Expressive Incompleteness of Two-Dimensional Modal Logic" at 11am in Old Quad G14. 

Abstract: We consider a natural-language sentence which cannot be formally represented by the apparatus of a quantified two-dimensional modal logic, or even two-dimensional semantics broadly construed. This was firstly conjectured in a previous work, but here we present a proof. The problem is very similar to the one motivating the introduction of an actuality operator into S5 modal logic. It turns out, however, that the most natural ways to repair the expressive inadequacy in the two-dimensional case, i.e. by adding a stronger actuality operator into the language, or by appealing to plural quantification, render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.

This event has been submitted and is maintained by:

(University of Melbourne)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.