A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure

doi:10.1145/3750045

2025-10-01

PRE

Md. Aquil Khan *

Ranjan Ranjan

DOI：10.1145/3750045

原文链接

原文求助

摘要

En 中文

受粗糙集理论的启发，我们基于子集近似结构中的可能性下近似算子，为基本模态语言引入了一种新的语义。本研究探讨了与该语义相关的公理化、表达能力和不变性结果。从粗糙集的角度来看，它为关于可能性下近似算子的推理提供了一种形式化语言。此外，此处获得的公理化结果提供了算子的特征性质。

Keyword:

rough set theory

approximation operator

modal logic

axiomatization

invariance

期刊

ACM Transactions on Computational Logic

IF:

论文数:

被引数:

机构

indian institute of technology system (iit system)

学者数:

9.5W

论文数: 9.9W

被引数: 93

引用论文

Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic

IF0

2023-01-25

PREAI

Yifeng Ding; Jixin Liu; Yanjing Wang

Topological reasoning and the logic of knowledge

Annals of Pure and Applied Logic

IF0

1996-04-01

OAAI

Andrew Dabrowski; Lawrence S. Moss; Rohit Parikh

Interface of Rough Set Systems and Modal Logics: A Survey

Lecture Notes in Computer Science

IF0

2015-01-01

PREAI

Samanta,Pulak; Chakraborty,Mihir Kumar

DAL—A logic for data analysis

Theoretical Computer Science

IF0

1985-01-01

PREAI

Luis Fariñas Del Cerro; Ewa Orłowska

TOLERANCE APPROXIMATION SPACES

Fundamenta Informaticae

IF0

1996-01-01

PREAI

Andrzej Skowron; Jaroslaw Stepaniuk

A Family of Kripke Contingency Logics

Theoria

IF0

2020-08-28

PREAI

Jie Fan

Modal systems for covering semantics and boundary operator

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2021-08-01

PREAI

Patel, Vineeta Singh; Khan, Md Aquil; Chakraborty, Mihir Kumar

Covering-based rough sets and modal logics. Part I 基于覆盖的粗糙集和模态逻辑。第一部分

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2016-10-01

OAAI

Ma, Minghui; Chakraborty, Mihir Kumar

Neighborhood Semantics for Modal Logic 模态逻辑的邻域语义

Short Textbooks in Logic

IF0

2017-01-01

PREAI

Eric Pacuit

IF0

PREAI

查看更多内容