A Road to Ultrafilter Extensions

DOI10.1007/978-981-13-7791-4_6zbMath1469.03048arXiv1806.07187OpenAlexW2971346547MaRDI QIDQ3305690

Jie Fan

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

zbMATH Keywords

modal logicKripke semanticsneighborhood semanticscanonical modelsultrafilter extensionscontingency logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Ultraproducts and related constructions (03C20)

Related Items

Bimodal logic with contingency and accident: bisimulation and axiomatizations

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