X-2026-FOML: Pablo Rivas-Robledo, Magnus Kjærgaard, Ludovico Ageno First-order Modal Logic 1.Abstract, 2.Version 10112026. < Back