Display Calculi for Logics with Relative Accessibility Relations - IMAG Accéder directement au contenu
Article Dans Une Revue Journal of Logic, Language and Information Année : 2000

Display Calculi for Logics with Relative Accessibility Relations

Résumé

We define cut-free display calculi for knowledge logics where an indiscernibility relation is associated to each set of agents, andwhere agents decide the membership of objects using this indiscernibility relation. To do so, we first translate the knowledge logics into polymodal logics axiomatised by primitive axioms and then use Kracht's results on properly displayable logics to define the display calculi. Apart from these technical results, we argue that Display Logic is a natural framework to define cut-free calculi for many other logics with relative accessibility relations.
Fichier principal
Vignette du fichier
Demri-Gore00a.pdf (310.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03194849 , version 1 (09-04-2021)

Identifiants

Citer

Stéphane Demri, Rajeev Goré. Display Calculi for Logics with Relative Accessibility Relations. Journal of Logic, Language and Information, 2000, 9 (2), pp.213-236. ⟨10.1023/A:1008341521750⟩. ⟨hal-03194849⟩

Collections

UGA IMAG CNRS
20 Consultations
53 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More