This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems by Stolpe (Logic Journal of the IGPL11(5), 557–575, 2003), but unfortunately that work used only models and not frames.

Quantification in Some Non-normal Modal Logics

Calardo, Erica;Rotolo, Antonino
2017

Abstract

This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems by Stolpe (Logic Journal of the IGPL11(5), 557–575, 2003), but unfortunately that work used only models and not frames.
2017
Calardo, Erica; Rotolo, Antonino
File in questo prodotto:
File Dimensione Formato  
Calardo_Rotolo_2017_JPL.pdf

Open Access dal 01/11/2018

Tipo: Postprint
Licenza: Licenza per accesso libero gratuito
Dimensione 749.21 kB
Formato Adobe PDF
749.21 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/619203
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact