michael-zakharyaschev documents

The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable
Documents The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable
Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema
Documents Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema
Mathematical Problems from Applied Logic I: Logics for the XXIst Century
Documents Mathematical Problems from Applied Logic I: Logics for the XXIst Century