Search Results - "Palmigiano, Alessandra"

Algorithmic correspondence and canonicity for distributive modal logic by Conradie, Willem, Palmigiano, Alessandra

“…We define the algorithm ALBA for the language of the same distributive modal logic (DML) for which a Sahlqvist theorem was proved by Gehrke, Nagahashi, and…”
Get full text

Constructive Canonicity of Inductive Inequalities by Willem Conradie, Alessandra Palmigiano

“…We prove the canonicity of inductive inequalities in a constructive meta-theory, for classes of logics algebraically captured by varieties of normal and…”
Get full text

Sahlqvist via Translation by Willem Conradie, Alessandra Palmigiano, Zhiguang Zhao

“…In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular…”
Get full text

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic by Ma, Minghui, Palmigiano, Alessandra, Sadrzadeh, Mehrnoosh

“…In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the…”
Get full text

Toward an Epistemic-Logical Theory of Categorization by Conradie, Willem, Frittella, Sabine, Palmigiano, Alessandra, Piazzai, Michele, Tzimoulis, Apostolos, Wijnberg, Nachoem M.

“…Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to…”
Get full text

Epistemic Updates on Algebras by Kurz, Alexander A, Palmigiano, Alessandra A

“…We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK),…”
Get full text

Multi-type Calculi and Structural Control: Invited Presentation at the Modalities in substructural logics: Applications at the interfaces of logic, language and computation by Palmigiano, Alessandra

Get full text

Polynomial-time checking of generalized Sahlqvist syntactic shape by Manoorkar, Krishna B., Palmigiano, Alessandra, Panettiere, Mattia

“…The best known modal logics are axiomatized by Sahlqvist axioms, i.e., axioms of a syntactic shape which guarantees these formulas to have such excellent…”
Get full text

Relational Representation of Groupoid Quantales by Palmigiano, Alessandra, Re, Riccardo

Get full text

Unified correspondence as a proof-theoretic tool by Greco, Giuseppe, Ma, Minghui, Palmigiano, Alessandra, Tzimoulis, Apostolos, Zhao, Zhiguang

Get full text

Residuation algebras with functional duals by Fussner, Wesley, Palmigiano, Alessandra

“…We employ the theory of canonical extensions to study residuation algebras whose associated relational structures are functional , i.e., for which the ternary…”
Get full text

Bilattice logic properly displayed by Greco, Giuseppe, Liang, Fei, Palmigiano, Alessandra, Rivieccio, Umberto

“…We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard…”
Get full text

Modelling socio-political competition by Conradie, Willem, Palmigiano, Alessandra, Robinson, Claudette, Tzimoulis, Apostolos, Wijnberg, Nachoem

“…This paper continues the investigation of the logic of competing theories (be they scientific, social, political etc.) initiated in [4]. We introduce a…”
Get full text

Sahlqvist theory for impossible worlds by Palmigiano, Alessandra, Sourabh, Sumit, Zhao, Zhiguang

Get full text

Non-normal modal logics and conditional logics: Semantic analysis and proof theory by Chen, Jinsheng, Greco, Giuseppe, Palmigiano, Alessandra, Tzimoulis, Apostolos

“…We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are…”
Get full text

Logics for Social Behaviour: An Editorial by Palmigiano, Alessandra, Pivato, Marcus

Get full text

Outlier detection using flexible categorization and interrogative agendas by Boersma, Marcel, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Tzimoulis, Apostolos, Wijnberg, Nachoem

“…Categorization is one of the basic tasks in machine learning and data analysis. Building on formal concept analysis (FCA), the starting point of the present…”
Get full text

Modal reduction principles: a parametric shift to graphs by Conradie, Willem, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia

“…Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as 'informational entropy'),…”
Get full text

Modal reduction principles across relational semantics by Conradie, Willem, De Domenico, Andrea, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Pinto Prieto, Daira, Tzimoulis, Apostolos

“…The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational…”
Get full text

Jónsson-style canonicity for ALBA-inequalities by Palmigiano, Alessandra, Sourabh, Sumit, Zhao, Zhiguang

Get full text