Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi

Résumé

The classical cube of non-normal modal logics is considered, and an alternative neighbourhood semantics is given in which worlds are equipped with sets of pairs of neighbourhoods. The intuition is that the two neighbourhoods of a pair provide independent positive and negative evidence (or support) for a formula. This bi-neighbourhood semantics is significant in particular for logics without the monotonicity property. It is shown that this semantics characterises the cube of non-normal modal logics and that there is a mutual correspondence between models in the standard and in the bi-neighbourhood semantics. On the basis of this alternative semantics, labelled sequent calculi are developed for all the logics of the classical cube. The calculi thus obtained are fully modular and have good structural properties, first of all, syntactic cut elimination. Moreover, they provide a decision procedure and an easy countermodel extraction, both in the bi-neighbourhood and in the standard semantics.
Fichier principal
Vignette du fichier
Reimpostazione AIML per HAL.pdf (526.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02076639 , version 1 (22-03-2019)

Identifiants

  • HAL Id : hal-02076639 , version 1

Citer

Tiziano Dalmonte, Nicola Olivetti, Sara Negri. Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi. Advances in Modal Logic 2018, Aug 2018, Berne, Switzerland. ⟨hal-02076639⟩
130 Consultations
123 Téléchargements

Partager

More