Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Unified correspondence as a proof-theoretic tool
G Greco, M Ma, A Palmigiano… - Journal of Logic and …, 2018 - academic.oup.com
The present article aims at establishing formal connections between correspondence
phenomena, well known from the area of modal logic, and the theory of display calculi …
phenomena, well known from the area of modal logic, and the theory of display calculi …
Toward an epistemic-logical theory of categorization
W Conradie, S Frittella, A Palmigiano, M Piazzai… - arxiv preprint arxiv …, 2017 - arxiv.org
Categorization systems are widely studied in psychology, sociology, and organization theory
as information-structuring devices which are critical to decision-making processes. In the …
as information-structuring devices which are critical to decision-making processes. In the …
A multi-type calculus for inquisitive logic
S Frittella, G Greco, A Palmigiano, F Yang - Logic, Language, Information …, 2016 - Springer
In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete
and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the …
and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the …
[PDF][PDF] Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano - arxiv preprint arxiv …, 2018 - arxiv.org
arxiv:1805.09144v1 [math.LO] 18 May 2018 Page 1 arxiv:1805.09144v1 [math.LO] 18 May
2018 Multi-type display calculus for Propositional Dynamic Logic Sabine Frittella* Giuseppe …
2018 Multi-type display calculus for Propositional Dynamic Logic Sabine Frittella* Giuseppe …
[HTML][HTML] Modal reduction principles across relational semantics
W Conradie, A De Domenico, K Manoorkar… - Fuzzy Sets and …, 2024 - Elsevier
The present paper establishes systematic connections among the first-order correspondents
of Sahlqvist modal reduction principles in various relational semantic settings, including …
of Sahlqvist modal reduction principles in various relational semantic settings, including …
A proof-theoretic semantic analysis of dynamic epistemic logic
S Frittella, G Greco, A Kurz… - Journal of Logic and …, 2016 - ieeexplore.ieee.org
The present article provides an analysis of the existing proof systems for dynamic epistemic
logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the …
logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the …
The logic of resources and capabilities
M Bílková, G Greco, A Palmigiano… - The Review of …, 2018 - cambridge.org
We introduce the logic LRC, designed to describe and reason about agents' abilities and
capabilities in using resources. The proposed framework bridges two—up to now—mutually …
capabilities in using resources. The proposed framework bridges two—up to now—mutually …
Syntactic completeness of proper display calculi
J Chen, G Greco, A Palmigiano… - ACM Transactions on …, 2022 - dl.acm.org
A recent strand of research in structural proof theory aims at exploring the notion of analytic
calculi (ie, those calculi that support general and modular proof-strategies for cut …
calculi (ie, those calculi that support general and modular proof-strategies for cut …
Multi-type display calculus for semi De Morgan logic
G Greco, F Liang, MA Moshier, A Palmigiano - … Language, Information, and …, 2017 - Springer
We introduce a proper multi-type display calculus for semi De Morgan logic which is sound,
complete, conservative, and enjoys cut-elimination and subformula property. Our proposal …
complete, conservative, and enjoys cut-elimination and subformula property. Our proposal …
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano… - Logic and Its …, 2019 - Springer
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the
starting point, in this paper we introduce some varieties of lattices expanded with normal …
starting point, in this paper we introduce some varieties of lattices expanded with normal …