Modal logics for reasoning about infinite unions and intersections of binary relations
Natasha Alechina, Philippe Balbiani, Dmitry Shkatov · Journal of Applied Non-Classical Logics · 2012
We consider multi-modal logic (with countably infinite number of basic modalities) extended with additional modalities and corresponding to the union and intersection of all basic modalities. We present complete and sound axiomatic systems and polynomial-space terminating tableau-based decision procedures for the basic logic in this language, and its deterministic counterpart . We also show that admits filtration, which can be used independently of our tableaux to establish its decidability.