Axiomatization of logics based on Kripke models with relative accessibility relations - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Chapitre D'ouvrage Année : 1998

Axiomatization of logics based on Kripke models with relative accessibility relations

Résumé

This paper presents a systematic study of the logics based on Kripke models with relative accessibility relations as well as a general method for proving their completeness. The Kripke models with relative accessibility relations come out in the context of the analysis of indiscernability in the information systems.

Dates et versions

hal-04010145 , version 1 (01-03-2023)

Identifiants

Citer

Philippe Balbiani. Axiomatization of logics based on Kripke models with relative accessibility relations. Orlowska, Ewa. Incomplete Information: Rough Set Analysis, STUDFUZZ 13 (Chapter 17), Physica-Verlag, pp.553--578, 1998, Studies in Fuzziness and Soft Computing, 978-3-7908-2457-5. ⟨10.1007/978-3-7908-1888-8_17⟩. ⟨hal-04010145⟩
6 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More