On modal logics characterized by models with relative accessibility relations. II (Q1595920): Difference between revisions

← Older edit

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / Recommended article @@
+On modal logics characterized by models with relative accessibility relations. I
+Normal rank
+Similarity Score: 0.9872696Amount 0.9872696
Unit 1
-Amount
+.9872696
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Modal logics with relative accessibility relations
+Normal rank
+Similarity Score: 0.94641066Amount 0.94641066
Unit 1
-Amount
+.94641066
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A hierarchy of modal logics with relative accessibility relations
+Normal rank
+Similarity Score: 0.9417492Amount 0.9417492
Unit 1
-Amount
+.9417492
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On modal logics of model-theoretic relations
+Normal rank
+Similarity Score: 0.9146807Amount 0.9146807
Unit 1
-Amount
+.9146807
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4833768
@@ Property / Recommended article: Q4833768 / rank @@
+Normal rank
@@ Property / Recommended article: Q4833768 / qualifier @@
+Similarity Score: 0.90380985Amount 0.90380985
Unit 1
-Amount
+.90380985
 Unit
@@ Property / Recommended article: Q4833768 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Existential second-order logic and modal logic with quantified accessibility relations
+Normal rank
+Similarity Score: 0.8992115Amount 0.8992115
Unit 1
-Amount
+.8992115
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
+Normal rank
+Similarity Score: 0.8879697Amount 0.8879697
Unit 1
-Amount
+.8879697
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Modal dependence logics: axiomatizations and model-theoretic properties
+Normal rank
+Similarity Score: 0.88480103Amount 0.88480103
Unit 1
-Amount
+.88480103
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Models for relevant modal logics
@@ Property / Recommended article: Models for relevant modal logics / rank @@
+Normal rank
@@ Property / Recommended article: Models for relevant modal logics / qualifier @@
+Similarity Score: 0.8835722Amount 0.8835722
Unit 1
-Amount
+.8835722
 Unit
@@ Property / Recommended article: Models for relevant modal logics / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4329271
@@ Property / Recommended article: Q4329271 / rank @@
+Normal rank
@@ Property / Recommended article: Q4329271 / qualifier @@
+Similarity Score: 0.88316333Amount 0.88316333
Unit 1
-Amount
+.88316333
 Unit
@@ Property / Recommended article: Q4329271 / qualifier @@
+Recommender Run: Recommender Run 2

Latest revision as of 13:06, 4 April 2025

scientific article

Language	Label	Description	Also known as
English	On modal logics characterized by models with relative accessibility relations. II	scientific article

Statements

instance of

scholarly article

0 references

title

On modal logics characterized by models with relative accessibility relations. II (English)

0 references

published in

Studia Logica

0 references

publication date

18 February 2001

0 references

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.

0 references

reviewed by

Anna Gomolińska

0 references

zbMATH Keywords

polymodal logic

0 references

relative accessibility relation

0 references

Rare-logics (with nominals)

0 references

information logics