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 …

In recent years, unified correspondence has been developed as a generalized Sahlqvist
theory which applies uniformly to all signatures of normal and regular (distributive) lattice …

Epistemic monadic Boolean algebras are obtained by enriching monadic Boolean algebras
with a knowledge operator. Epistemic monadic logic as the monadic fragment of first-order …

In this Ph. D. dissertation we investigate reasoning about information change in the
presence of incomplete or inconsistent information, and the characterisation of notions of …

In the present paper we develop algebraic semantics of refinement modal logic using duality
theory. Refinement modal logic has been introduced by Bozzelli et al.[7]. A Refinement is …

Résumé Cette thèse est structurée autour de deux axes d'études:(1) développer des
logiques épistémiques formalisant la prise en compte de nouvelles données en présence …