Jan van Mill

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 7

Top Topics

Explanation Based Generalization

Decision Procedures

Prime Implicates

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Publications

Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tree-like constructions in topology and modal logic. Arch. Math. Log. 60 (3-4) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Characterizing existence of a Measurable cardinal via Modal Logic. J. Symb. Log. 86 (1) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
The McKinsey-Tarski Theorem for Locally Compact Ordered Spaces. Bull. Symb. Log. 27 (2) (2021)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
On modal logics arising from scattered locally compact Hausdorff spaces. Ann. Pure Appl. Log. 170 (5) (2019)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
A New Proof of the McKinsey-Tarski Theorem. Stud Logica 106 (6) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Tychonoff HED-Spaces and Zemanian Extensions of S4.3. Rev. Symb. Log. 11 (1) (2018)
Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill
Krull Dimension in Modal Logic. J. Symb. Log. 82 (4) (2017)
Themba Dube, Stavros Iliadis, Jan van Mill, Inderasan Naidoo
A Pseudocompact Completely Regular Frame which is not Spatial. Order 31 (1) (2014)
Jan van Mill
A Note on the Effros Theorem. Am. Math. Mon. 111 (9) (2004)