We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms which allow to express de re modalities and to control the interaction of modalities with the first-order machinery and with non-rigid designators. The semantics is based on a primitive counterpart relation holding between n-tuples of objects inhabiting possible worlds. This allows an object to be represented by one, many, or no object in an accessible world. Moreover by taking as primitive a relation between n-tuples we avoid some shortcoming of standard individual counterparts. Finally, we use cut-free labelled sequent calculi to give a proof-theoretic characterisation of the quantified extensions of each first-order definable propositional modal logic. In this way we show how to complete many axiomatically incomplete quantified modal logics.

Quantified Modal Logics: One Approach to Rule (Almost) them All! / Eugenio Orlandelli. - In: JOURNAL OF PHILOSOPHICAL LOGIC. - ISSN 0022-3611. - ELETTRONICO. - online first:(2024), pp. 1-38. [10.1007/s10992-024-09754-7]

### Quantified Modal Logics: One Approach to Rule (Almost) them All!

#### Abstract

We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms which allow to express de re modalities and to control the interaction of modalities with the first-order machinery and with non-rigid designators. The semantics is based on a primitive counterpart relation holding between n-tuples of objects inhabiting possible worlds. This allows an object to be represented by one, many, or no object in an accessible world. Moreover by taking as primitive a relation between n-tuples we avoid some shortcoming of standard individual counterparts. Finally, we use cut-free labelled sequent calculi to give a proof-theoretic characterisation of the quantified extensions of each first-order definable propositional modal logic. In this way we show how to complete many axiomatically incomplete quantified modal logics.
##### Scheda breve Scheda completa Scheda completa (DC)
2024
Quantified Modal Logics: One Approach to Rule (Almost) them All! / Eugenio Orlandelli. - In: JOURNAL OF PHILOSOPHICAL LOGIC. - ISSN 0022-3611. - ELETTRONICO. - online first:(2024), pp. 1-38. [10.1007/s10992-024-09754-7]
Eugenio Orlandelli
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.

Utilizza questo identificativo per citare o creare un link a questo documento: `https://hdl.handle.net/11585/968004`
##### Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

• ND
• ND
• ND