.png){kind=icon}
返回
Modal reduction principles across relational semantics
.png){kind=icon}
OA
AI
DOI：10.1016/j.fss.2024.108892.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The present paper establishes systematic connections among the first -order correspondents of Sahlqvist modal reduction principles in various relational semantic settings, including crisp and many -valued Kripke frames, and crisp and many -valued polarity -based frames (aka enriched formal contexts). Building on unified correspondence theory, we aim at introducing a theoretical environment which makes it possible to: (a) compare and inter -relate the various frame correspondents (in different relational settings) of any given Sahlqvist modal reduction principle; (b) recognize when first -order sentences in the frame -correspondence languages of different types of relational structures encode the same modal content; (c) meaningfully transfer and represent well known relational properties such as reflexivity, transitivity, symmetry, seriality, confluence, density, across different semantic contexts. These results can be understood as a first step in a research program aimed at making correspondence theory not just (methodologically) unified, but also (effectively) parametric.
Keyword:
Correspondence theory
Sahlqvist theory
Rough set theory
Formal concept analysis
Modal logic
Many-valued modal logic
Modal reduction principles
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.7
论文数:
7.6K
被引数:
1.5W
机构
引用论文
Chlorophyll Fluorescence as a Potential Indicator of Controlled-atmosphere Disorders in `Marshall' McIntosh Apples.png)
HortScience
OAAI
HortScienceIF0
OAAI分享收藏Study of Follicular Development and Heredity of Morphological Types of Ovaries in Prepuberal Gilts
PREAI
分享收藏
查看更多内容