Emptiness Relations in Property Systems

Authors:
Philippe Balbiani
Affiliations:
-
Venue:
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Year:
2001

Citing 5
Cited 1

Modal logics for knowledge representation systems

Theoretical Computer Science
The nondeterministic information logic NIL is PSPACE-complete

Fundamenta Informaticae
Incomplete Information: Rough Set Analysis

Incomplete Information: Rough Set Analysis
First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems

ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Relationships between nondeterministic and deterministic tape complexities

Journal of Computer and System Sciences

A polynomial space construction of tree-like models for logics with local chains of modal connectives

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.