A new language for quantified modal logic is presented in which the modal operators are indexed by terms : ``it is necessary for t_1, dots , t_n''. Systems of quantified modal logic are defined in that language and shown to be complete with respect to transition semantics. Formulas such as the Barcan formula, the Ghilardi formula, the necessity of identity can be expressed in a natural way in the new language and are shown to correspond to particular properties of the transition relation.
"Necessary for" / G. Corsi. - STAMPA. - (2009), pp. 162-184.
"Necessary for"
CORSI, GIOVANNA
2009
Abstract
A new language for quantified modal logic is presented in which the modal operators are indexed by terms : ``it is necessary for t_1, dots , t_n''. Systems of quantified modal logic are defined in that language and shown to be complete with respect to transition semantics. Formulas such as the Barcan formula, the Ghilardi formula, the necessity of identity can be expressed in a natural way in the new language and are shown to correspond to particular properties of the transition relation.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
