Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1998-04:: Yde Venema Points, Lines and Diamonds: a Two-Sorted Modal Logic for Projective Planes
1.Full Text, 2.Abstract.

Back