A Road to Ultrafilter Extensions
From MaRDI portal
Publication:3305690
DOI10.1007/978-981-13-7791-4_6zbMath1469.03048arXiv1806.07187OpenAlexW2971346547MaRDI QIDQ3305690
Publication date: 10 August 2020
Published in: Dynamics, Uncertainty and Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1806.07187
modal logicKripke semanticsneighborhood semanticscanonical modelsultrafilter extensionscontingency logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notes on modal definability
- The logic of non-contingency
- Minimal non-contingency logic
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
- Neighborhood Contingency Logic
- Ultrafilter Extensions of Models
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Canonical modal logics and ultrafilter extensions
- Neighbourhood Contingency Bisimulation
- CONTINGENCY AND KNOWING WHETHER
- Algebra and Coalgebra in Computer Science
- The Theory of Representation for Boolean Algebras
- Boolean Algebras with Operators. Part I