🚀 go-pugleaf

It seems surprising that nobody here has yet mentioned Aldo Bressan's work.
He's been investigating modal set theories for years.  His book "A General
Interpreted Modal Calculus" (Yale UP, around 1973) describes a modal simple
type theory originally intended to analyze the modal issues arising in
Painleve's formulation of axiomatic classical mechanics; he later extended
this to a modal Morse-Kelley set theory and did some papers on
probabilistic set theories.  All these theories are, of course, intended to
describe empirical domains of discourse.

Daniel Gallin's thesis (published as a book around 1976, I forget where)
showed that Bressan's GIMC theory is in some sense inter-translatable with
Montague's Intensional Logic.  I don't know of any Montague-like analogue
of Bressan's later stuff.

Most of Bressan's papers are in the Rendiconti of the University of Padova
(his home turf).

-- 
--  Jack Campin    room G092, Computing Science Department, Glasgow University,
17 Lilybank Gardens, Glasgow G12 8RZ, Scotland   TEL: 041 339 8855 x6854 (work)
INTERNET: jack@dcs.glasgow.ac.uk or via nsfnet-relay.ac.uk    FAX: 041 330 4913
BANG!net: via mcsun and uknet     BITNET: via UKACRL    UUCP: jack@glasgow.uucp