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 …
Unified correspondence
W Conradie, S Ghilardi, A Palmigiano - Johan van Benthem on logic and …, 2014 - Springer
The present chapter is aimed at giving a conceptual exposition of the mathematical
principles underlying Sahlqvist correspondence theory. These principles are argued to be …
principles underlying Sahlqvist correspondence theory. These principles are argued to be …
[HTML][HTML] Algorithmic correspondence and canonicity for non-distributive logics
W Conradie, A Palmigiano - Annals of Pure and Applied Logic, 2019 - Elsevier
We extend the theory of unified correspondence to a broad class of logics with algebraic
semantics given by varieties of normal lattice expansions (LEs), also known as 'lattices with …
semantics given by varieties of normal lattice expansions (LEs), also known as 'lattices with …
Categories: how I learned to stop worrying and love two sorts
W Conradie, S Frittella, A Palmigiano, M Piazzai… - … , and Computation: 23rd …, 2016 - Springer
RS-frames were introduced by Gehrke as relational semantics for substructural logics. They
are two-sorted structures, based on RS-polarities with additional relations used to interpret …
are two-sorted structures, based on RS-polarities with additional relations used to interpret …
Algebraic proof theory for substructural logics: cut-elimination and completions
A Ciabattoni, N Galatos, K Terui - Annals of Pure and Applied Logic, 2012 - Elsevier
We carry out a unified investigation of two prominent topics in proof theory and order
algebra: cut-elimination and completion, in the setting of substructural logics and residuated …
algebra: cut-elimination and completion, in the setting of substructural logics and residuated …
Non-distributive logics: from semantics to meaning
W Conradie, A Palmigiano, C Robinson… - arxiv preprint arxiv …, 2020 - arxiv.org
We discuss an ongoing line of research in the relational (non topological) semantics of non-
distributive logics. The developments we consider are technically rooted in dual …
distributive logics. The developments we consider are technically rooted in dual …
Multi-type display calculus for dynamic epistemic logic
S Frittella, G Greco, A Kurz… - Journal of Logic and …, 2016 - ieeexplore.ieee.org
In the present article, we introduce a multi-type display calculus for dynamic epistemic logic,
which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart …
which we refer to as Dynamic Calculus. The display approach is suitable to modularly chart …
Sahlqvist theory for impossible worlds
A Palmigiano, S Sourabh, Z Zhao - Journal of Logic and …, 2017 - academic.oup.com
We extend unified correspondence theory to Kripke frames with impossible worlds and their
associated regular modal logics. These are logics the modal connectives of which are not …
associated regular modal logics. These are logics the modal connectives of which are not …
[HTML][HTML] Algebraic semantics and model completeness for intuitionistic public announcement logic
M Ma, A Palmigiano, M Sadrzadeh - Annals of Pure and Applied Logic, 2014 - Elsevier
In the present paper, we start studying epistemic updates using the standard toolkit of duality
theory. We focus on public announcements, which are the simplest epistemic actions, and …
theory. We focus on public announcements, which are the simplest epistemic actions, and …
[PDF][PDF] Constructive canonicity of inductive inequalities
W Conradie, A Palmigiano - Logical Methods in Computer …, 2020 - lmcs.episciences.org
We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of
logics algebraically captured by varieties of normal and regular lattice expansions. This …
logics algebraically captured by varieties of normal and regular lattice expansions. This …