Unified correspondence as a proof-theoretic tool
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
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
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
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 …
A proof-theoretic semantic analysis of dynamic epistemic logic
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
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 …
[HTML][HTML] Modal reduction principles across relational semantics
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 …
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 …
Logics for rough concept analysis
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 …
Multi-type display calculus for semi De Morgan logic
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 …