Reasoning in Many-Valued Multi-Modal Logic: A Uniform and General Approach

Background: Multi-modal logic has found many applications in computer science, also providing a framework to model temporal and spatial information. Reasoning in this logic is crucial in many real-world applications from different fields.