27 citations · 102 across the 16 of their papers we have counts for
4 papers · 1 filter
Possibility Frames and Forcing for Modal Logic
Wesley H. Holliday
This paper develops the model theory of normal modal logics based on partial "possibilities" instead of total "worlds," following Humberstone (1981) instead of Kripke (1963). Possi…
A fundamental non-classical logic
Wesley H. Holliday
We give a proof-theoretic as well as a semantic characterization of a logic in the signature with conjunction, disjunction, negation, and the universal and existential quantifiers…
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
Wesley H. Holliday
In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of co…
Choice-free Stone duality
Nick Bezhanishvili, Wesley H. Holliday
The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal…