A Cook's Tour of the Finitary Non-Well-Founded Sets
From MaRDI portal
Publication:3007237
zbMath1279.03073arXiv1111.7148MaRDI QIDQ3007237
Publication date: 21 June 2011
Full work available at URL: https://arxiv.org/abs/1111.7148
modal logicStone dualitytopologydomain theorymetric approximationprocess modelsfinitary non-well-founded setsset-theoretic universeVietoris construction
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Nonclassical and second-order set theories (03E70) Continuous lattices and posets, applications (06B35)
Related Items
Relating Coalgebraic Notions of Bisimulation, Free Heyting Algebras: Revisited, Three new genuine five-valued logics intended to model non-trivial concepts, Remarks on hyperspaces for Priestley spaces, Natural duality, modality, and coalgebra, Unnamed Item, Hypersets, Bitopological duality for algebras of Fitting's logic and natural duality extension, Profiniteness and representability of spectra of Heyting algebras, The Vietoris functor and modal operators on rings of continuous functions, Stone coalgebras, Automata and fixed point logic: a coalgebraic perspective, Models for a paraconsistent set theory, Hausdorff coalgebras, On final coalgebras of power-set functors and saturated trees, Unnamed Item, The bounded proof property via step algebras and step frames, A category of compositional domain-models for separable Stone spaces., From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference, Modal operators on compact regular frames and de Vries algebras.