Finality regained: A coalgebraic study of Scott-sets and multisets
From MaRDI portal
Publication:1407541
DOI10.1007/s001530100110zbMath1023.03049MaRDI 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
coalgebra; graded modalities; AFA-universe; iterated circular multisets; non-wellfounded sets; Scott universe
03B45: Modal logic (including the logic of norms)
08A70: Applications of universal algebra in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03E70: Nonclassical and second-order set theories
18B05: Categories of sets, characterizations
Related Items
Global Caching for Coalgebraic Description Logics, Modalities in the Stone age: a comparison of coalgebraic logics, A Tractarian universe, Coalgebraic semantics of modal logics: an overview, A single-sorted theory of multisets, Expressivity of coalgebraic modal logic: the limits and beyond, A finite model construction for coalgebraic modal logic, Equational Coalgebraic Logic, Reasoning with Global Assumptions in Arithmetic Modal Logics, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra, Logics of Belief over Weighted Structures, Coalgebraic Hybrid Logic