Finality regained: A coalgebraic study of Scott-sets and multisets

DOI10.1007/s001530100110zbMath1023.03049OpenAlexW2176114185MaRDI QIDQ1407541

Giovanna D'Agostino, Albert Visser

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26479

zbMATH Keywords

coalgebragraded modalitiesAFA-universeiterated circular multisetsnon-wellfounded setsScott universe

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Applications of universal algebra in computer science (08A70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Nonclassical and second-order set theories (03E70) Categories of sets, characterizations (18B05)

Related Items (14)

A finite model construction for coalgebraic modal logic ⋮ Reasoning with Global Assumptions in Arithmetic Modal Logics ⋮ COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Unnamed Item ⋮ Coalgebraic semantics of modal logics: an overview ⋮ A Tractarian universe ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Global Caching for Coalgebraic Description Logics ⋮ Coalgebraic Hybrid Logic ⋮ Equational Coalgebraic Logic ⋮ A single-sorted theory of multisets ⋮ Logics of Belief over Weighted Structures

This page was built for publication: Finality regained: A coalgebraic study of Scott-sets and multisets