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.
CITATION STYLE
Balbiani, P. (2002). Emptiness relations in property systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2561, pp. 15–34). Springer Verlag. https://doi.org/10.1007/3-540-36280-0_2
Mendeley helps you to discover research relevant for your work.