Encoding properties of lattice paths [Ph
β Anna Varvak
π Library
π
2004
π Brandeis University
π English
β Scribed by John Shareshian
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In this thesis we investigate modal logics from a lattice theoretic point of view. There are essentially two well-known methods of research on lattices of modal logics. The investigation of the lattice of modal logics as a whole, and the local investigation of the lattice of extensions of some stron