In Gerla (1987), G. Gerla introduced the so-called transformational semantics for predicate modal logic and considered in particular semantic frame- works given by a classical model endowed with a group of automorphisms, where a boxed formula is true iff it holds invariantly (i.e. it remains true whenever an automorphism is applied to the individuals it is talking about). With this interpreta- tion, de dicto modalities collapse, but de re modalities remain quite informative. We handle the axiomatization problem of such modal structures, by employing classic model-theoretic tools (iterated ultrapowers and double chains).

The Invariance Modality / S. Ghilardi (OUTSTANDING CONTRIBUTIONS TO LOGIC). - In: V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / [a cura di] A. Citkin, I.M. Vandoulakis. - [s.l] : Springer, 2022 Nov. - ISBN 978-3-031-06842-3. - pp. 165-175 [10.1007/978-3-031-06843-0_6]

The Invariance Modality

S. Ghilardi
2022

Abstract

In Gerla (1987), G. Gerla introduced the so-called transformational semantics for predicate modal logic and considered in particular semantic frame- works given by a classical model endowed with a group of automorphisms, where a boxed formula is true iff it holds invariantly (i.e. it remains true whenever an automorphism is applied to the individuals it is talking about). With this interpreta- tion, de dicto modalities collapse, but de re modalities remain quite informative. We handle the axiomatization problem of such modal structures, by employing classic model-theoretic tools (iterated ultrapowers and double chains).
Quantified modal logic; Presheaf semantics; Invariance modality; Ultrapowers
Settore MAT/01 - Logica Matematica
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
invariance.pdf

accesso riservato

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 286.13 kB
Formato Adobe PDF
286.13 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
978-3-031-06843-0_6.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 200.08 kB
Formato Adobe PDF
200.08 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

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/2434/945432
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact