FOIL is a family of two-sorted first-order modal logics containing both object and intensional variables. Intensional variables are represented by partial functions from worlds to objects and the abstraction operator lambda is used to talk about the object (if any) denoted by an intension in a given world. This paper answers a problem left open in Fitting's (2006) by showing that Fitting's axiomatization of FOIL augmented with infinitely many inductively defined rules, CD(k), k >= 0, allows for the construction of a canonical model that is essentially a constant domains model. Moreover, it is shown that the rules CD(k) are derivable in logics where the symmetry axiom B holds. Hence, Fitting's axiomatisation of FOIL is already complete when the underlying logic imposes symmetric models.

FOIL with constant domains revisited

giovanna corsi;eugenio orlandelli
2021

Abstract

FOIL is a family of two-sorted first-order modal logics containing both object and intensional variables. Intensional variables are represented by partial functions from worlds to objects and the abstraction operator lambda is used to talk about the object (if any) denoted by an intension in a given world. This paper answers a problem left open in Fitting's (2006) by showing that Fitting's axiomatization of FOIL augmented with infinitely many inductively defined rules, CD(k), k >= 0, allows for the construction of a canonical model that is essentially a constant domains model. Moreover, it is shown that the rules CD(k) are derivable in logics where the symmetry axiom B holds. Hence, Fitting's axiomatisation of FOIL is already complete when the underlying logic imposes symmetric models.
2021
giovanna corsi; eugenio orlandelli
File in questo prodotto:
File Dimensione Formato  
CorsiOrlandelli_2021_FOILCDRevisited.pdf

accesso aperto

Descrizione: Articolo
Tipo: Versione (PDF) editoriale
Licenza: Licenza per accesso libero gratuito
Dimensione 247.97 kB
Formato Adobe PDF
247.97 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/772119
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact