activity
20102026
most citedMulti-type Display Calculus for Dynamic Epistemic Logic

43 citations · 426 across the 50 of their papers we have counts for

collaborators
Showing 2019Show all

8 papers · 1 filter

math.LO2019★ 9 cited

Modelling socio-political competition

Willem Conradie, Alessandra Palmigiano, Claudette Robinson +2

This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we…

math.LO2019★ 2 cited

The logic of vague categories

Willem Conradie, Alessandra Palmigiano, Claudette Robinson +2

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 A…

cs.LO2019★ 1 cited

Vector spaces as Kripke frames

Giuseppe Greco, Fei Liang, Michael Moortgat +2

In recent years, the compositional distributional approach in computational linguistics has opened the way for an integration of the \emph{lexical} aspects of meaning into Lambek's…

cs.AI2019★ 25 cited

Toward a Dempster-Shafer theory of concepts

Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano +2

In this paper, we generalize the basic notions and results of Dempster-Shafer theory from predicates to formal concepts. Results include the representation of conceptual belief fun…

cs.LO2019★ 26 cited

Rough concepts

Willem Conradie, Sabine Frittella, Krishna Manoorkar +4

The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal…

math.LO2019

Modelling competing theories

Willem Conradie, Andrew Craig, Alessandra Palmigiano +1

We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and p…

math.LO2019★ 12 cited

Non normal logics: semantic analysis and proof theory

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1

We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conserva…

math.LO2019

Modelling informational entropy

Willem Conradie, Andrew Craig, Alessandra Palmigiano +1

By 'informational entropy', we understand an inherent boundary to knowability, due e.g. to perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a log…