On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Studia Logica Année : 2000

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II

Résumé

This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (some of them contain the universal modal operator). In Part II, we push forward the results from Part I. For Rare-logics with nominals (present at the level of formulae and at the level of modal expressions), we show that the constructions from Part I can be extended although it is technically more involved. We also characterize a class of standard modal logics for which the universal modal operator can be eliminated as far as satifiability is concerned. Although the previous results have a semantic flavour, we are also able to define proof systems for Rare-logics from existing proof systems for the corresponding standard modal logics. Last, but not least, decidability results for Rare-logics are established uniformly, in particular for information logics derived from rough set theory. Since this paper is the continuation of Part I, we do not recall here the definitions of Part I although we refer to them.
Fichier principal
Vignette du fichier
demri-gabbay-sl00-2.pdf (32.11 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03192250 , version 1 (08-04-2021)

Identifiants

Citer

Stéphane Demri, Dov M. Gabbay. On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica, 2000, 65 (3), pp.349-384. ⟨10.1023/A:1005260600511⟩. ⟨hal-03192250⟩
20 Consultations
6 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More