Maarten de Rijke and Yde Venema, Modal Logic

Patrick Blackburn, M. (2001). Maarten de Rijke and Yde Venema, Modal Logic. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

2001

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Modal algebra
  • A modal algebra is a Boolean algebra with an operator box satisfying box-top equals top and box(x meet y)=box-x meet box-y.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:21f2ee903a78 · see in the full table