Modal logics for reasoning about infinite unions and intersections of binary relations

From MaRDI portal
Publication:4583172