Modal Logic

Blackburn, P., Rijke, M. d., & Venema, Y. (2001). Modal Logic. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

2001

DOI

10.1017/cbo9781107050884

ISBN

9780521802000

Link

https://doi.org/10.1017/CBO9781107050884

Cited by

1 citation across 1 artifact.

Domain-specific

• Accessibility Relation
  • … semantical-analysis work made relations among worlds a basis for distinguishing systems of modal propositional logic. Blackburn, de Rijke, and Venema develop modal languages as tools for analyzing relational structures, separating models, frames, correspondence, definability, completeness, and computational questions.

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:b6c8bf903544 · see in the full table