Modal Logic

Chagrov, A., & Michael Zakharyaschev, M. L. (1997). Modal Logic. Oxford University Press.

Type

Book

Intellectual base

Review or monograph

Year

1997

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Modal algebra
  • … identity and a convenient observable transfers from The complex algebra of a Kripke frame interprets box of a set as worlds whose accessible successors all lie in that set. to A logician separates base modal-algebra axioms from extra equations corresponding to transitivity, reflexivity or other frame conditions..

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