In this paper, we carry out the modal analysis of emptiness through a modal logic which modalities correspond to emptiness relations in property systems. We mainly address the questions of axiomatization/completeness and decidability/complexity of our modal logic.
['Philippe Balbiani']
Emptiness relations in property systems