Group in Logic and the Methodology of Science

Menu

Share

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

2016

Voting Theory in the Lean Theorem Prover
- Holliday, Wesley Halcrow;
- Norman, Chase;
- Pacuit, Eric
Three roads to complete lattices: orders, compatibility, polarity
- Holliday, Wesley Halcrow
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
- Holliday, Wesley Halcrow
Compatibility, compossibility, and epistemic modality
- Holliday, Wesley Halcrow;
- Mandelkern, Matthew
Possibility Semantics
- Holliday, Wesley Halcrow