Search this site
Wesley H. Holliday
  • About
  • Research
    • Social Choice
    • Mathematics
      • Lattices
      • Sets
      • Intuitionistic Logic
    • Modality
      • Possibility Semantics for Modal Logic
      • Modal Logic
      • Propositional Quantifiers
      • Inquisitive Logic
    • Language
    • Knowledge
      • Epistemic Logic
      • Multipath Picture of Knowledge
      • Dynamic Epistemic Logic
      • Epistemic Paradox
      • Quantified Epistemic Logic
    • Probability
    • Action
  • Students
Wesley H. Holliday

Mathematics

Lattices

A fundamental non-classical logic

2022. Forthcoming in Logics.


Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics

2022. Advances in Modal Logic, Vol. 14.


Three roads to complete lattices: orders, compatibility, polarity

2021. Algebra Universalis. Publisher's version.


Choice-Free Stone Duality

with Nick Bezhanishvili

2020. The Journal of Symbolic Logic. Publisher's version.


Locales, Nuclei, and Dragalin Frames

with Guram Bezhanishvili

2016. Advances in Modal Logic, Vol. 11.

Sets

The Logic of Comparative Cardinality

with Matthew Harrison-Trainor and Yifeng Ding

2020. The Journal of Symbolic Logic. Publisher's version.


On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames

2016. Studia Logica. Publisher's version.

Intuitionistic Logic

A Semantic Hierarchy for Intuitionistic Logic

with Guram Bezhanishvili

2019. Indagationes Mathematicae. Publisher's version.


Locales, Nuclei, and Dragalin Frames

with Guram Bezhanishvili

2016. Advances in Modal Logic, Vol. 11.

Report abuse
Page details
Page updated
Google Sites
Report abuse