Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Modal reduction principles: a parametric shift to graphs
Graph-based frames have been introduced as a logical framework which internalises an
inherent boundary to knowability (referred to as 'informational entropy'), due, eg to …
inherent boundary to knowability (referred to as 'informational entropy'), due, eg to …
[PDF][PDF] Non-distributive description logic
We define LE-ALC, a generalization of the description logic ALC based on the propositional
logic of general (ie not necessarily distributive) lattices, and semantically interpreted on …
logic of general (ie not necessarily distributive) lattices, and semantically interpreted on …
Unified inverse correspondence for LE-logics
We generalize Kracht's theory of internal describability from classical modal logic to the
family of all logics canonically associated with varieties of normal lattice expansions (LE …
family of all logics canonically associated with varieties of normal lattice expansions (LE …
Labelled calculi for the logics of rough concepts
We introduce sound and complete labelled sequent calculi for the basic normal non-
distributive modal logic and some of its axiomatic extensions, where the labels are atomic …
distributive modal logic and some of its axiomatic extensions, where the labels are atomic …
Description logic for rough concepts
Rough concepts have been introduced in in the context of a mathematical framework
unifying Rough Set Theory (RST) and Formal Concept Analysis (FCA). Algebraically, the …
unifying Rough Set Theory (RST) and Formal Concept Analysis (FCA). Algebraically, the …
The logic of vague categories
We introduce a complete many-valued semantics for basic normal lattice-based modal logic.
This relational semantics is grounded on many-valued formal contexts from Formal Concept …
This relational semantics is grounded on many-valued formal contexts from Formal Concept …
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
We further develop the algebraic approach to input/output logic initiated in\cite {wollic22},
where subordination algebras and a family of their generalizations were proposed as a …
where subordination algebras and a family of their generalizations were proposed as a …
Unified inverse correspondence for DLE-logics
By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist
correspondence, the theory of unified correspondence provides powerful tools for …
correspondence, the theory of unified correspondence provides powerful tools for …
[PDF][PDF] KLM-style Defeasible Reasoning on Concepts
KLM-style Defeasible Reasoning on Concepts Page 1 KLM-style Defeasible Reasoning on
Concepts Fei Liang1, Krishna Manoorkar2,*, Alessandra Palmigiano2,3 and Apostolos …
Concepts Fei Liang1, Krishna Manoorkar2,*, Alessandra Palmigiano2,3 and Apostolos …
[PDF][PDF] VU Research Portal
KB Manoorkar, A De Domenico, A Palmigiano - research.vu.nl
Rough concepts have been introduced in [7] in the context of a mathematical framework
unifying Rough Set Theory (RST) and Formal Concept Analysis (FCA). Algebraically, the …
unifying Rough Set Theory (RST) and Formal Concept Analysis (FCA). Algebraically, the …