Points, lines and diamonds: a two-sorted modal logic for projective planes
| Authors | |
|---|---|
| Publication date | 1999 |
| Journal | Journal of Logic and Computation |
| Volume | Issue number | 9 |
| Pages (from-to) | 601-621 |
| Organisations |
|
| Document type | Article |
| Published at | https://doi.org/10.1093/logcom/9.5.601 |
| Permalink to this page | |