On modal logics characterized by models with relative accessibility relations. II
type: Item
instance of: scholarly article
title: On modal logics characterized by models with relative accessibility relations. II
zbMATH Open document ID: 0981.03031
DOI: 10.1023/A:1005260600511
published in: Studia Logica
publication date: 2001-02-18T00:00:00Z
review text: The paper is a continuation of Part I [Stud. Log. 65, No.~3, 323-353 (2000; Zbl 0969.03028)]. Constructions from Part I are extended to the case of Rare-logics with nominals. The class of standard modal logics for which the universal modal operator can be eliminated (if satisfiability is concerned) is characterized. Proof systems for Rare-logics are proposed. A uniform method of proving decidability of Rare-logics and, in particular, information logics based on rough set theory is given.
reviewed by: Anna Gomolińska
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 1565448
zbMATH Keywords: polymodal logic
zbMATH Keywords: relative accessibility relation
zbMATH Keywords: Rare-logics (with nominals)
zbMATH Keywords: information logics
zbMATH Keywords: decidability
zbMATH Keywords: modal logics
author: Stéphane Demri
author: Dov Gabbay
MaRDI profile type: Publication
Recommended article: On modal logics characterized by models with relative accessibility relations. I
Recommended article: Modal logics with relative accessibility relations
Recommended article: A hierarchy of modal logics with relative accessibility relations
Recommended article: On modal logics of model-theoretic relations
Recommended article: Q4833768
Recommended article: Existential second-order logic and modal logic with quantified accessibility relations
Recommended article: Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
Recommended article: Modal dependence logics: axiomatizations and model-theoretic properties
Recommended article: Models for relevant modal logics
Recommended article: Q4329271
description: scientific article; zbMATH DE number 1565448