Switch to: Citations

References in:

Completely separable mad families and the modal logic of

Tomáš Lávička & Jonathan L. Verner

Journal of Symbolic Logic:1-10 (2020)

Add references

You must login to add references.

Diodorean modality in Minkowski spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.details The Diodorean interpretation of modality reads the operator as it is now and always will be the case that. In this paper time is modelled by the four-dimensional Minkowskian geometry that forms the basis of Einstein's special theory of relativity, with event y coming after event x just in case a signal can be sent from x to y at a speed at most that of the speed of light (so that y is in the causal future of x).It is (...) Download Export citation Bookmark 38 citations
Tychonoff hed-spaces and Zemanian extensions of s4.3.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2018 - Review of Symbolic Logic 11 (1):115-132.details Download Export citation Bookmark 3 citations
The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.details Let ${\beta(\mathbb{N})}$ denote the Stone–Čech compactification of the set ${\mathbb{N}}$ of natural numbers (with the discrete topology), and let ${\mathbb{N}^\ast}$ denote the remainder ${\beta(\mathbb{N})-\mathbb{N}}$ . We show that, interpreting modal diamond as the closure in a topological space, the modal logic of ${\mathbb{N}^\ast}$ is S4 and that the modal logic of ${\beta(\mathbb{N})}$ is S4.1.2. Download Export citation Bookmark 5 citations

1