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. At the same time, these applications live in scenarios characterized by uncertain...