Work

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty

Year: 2024

Type: preprint

Abstract: In this paper we define a class of polynomial functors suited for constructing coalgebras representing processes in which uncertainty plays an important role. In these polynomial functors we include upper and lower probability measures, finitely additive probability measures, plausibilty measures (and their duals, belief functions), and possibility measures. We give axioms and inference rules for the associated system of coalgebraic modal logic, and construct the canonical coalgebras to prove a completeness result.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2403.06177

Authors: Gallardo, Andrés, Viglizzo, Ignacio

Institutions: Consejo Nacional de Investigaciones Científicas y Técnicas, Centro Científico Tecnológico - Bahía Blanca, Instituto de Matemática de Bahía Blanca, Universidad Nacional del Sur

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4392737288

Cites:

Cited by:

Related to: 10