A temporal semantics for basic logic

From MaRDI portal
Publication:1037596