Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909156072488960 |
|---|---|
| author | Gallardo, Andrés Viglizzo, Ignacio |
| author_facet | Gallardo, Andrés Viglizzo, Ignacio |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_06177 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Coalgebraic Modal Logic for Dynamic Systems with Uncertainty Gallardo, Andrés Viglizzo, Ignacio Logic in Computer Science Logic 03B45 (Primary) 03B52 (Secondary) 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. |
| title | Coalgebraic Modal Logic for Dynamic Systems with Uncertainty |
| topic | Logic in Computer Science Logic 03B45 (Primary) 03B52 (Secondary) |
| url | https://arxiv.org/abs/2403.06177 |