Sahlqvist

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Sahlqvist Formula

Related Phrases

Canonical Model

Frame Condition

Kripke Complete

Kripke Semantics

Normal Modal Logic

Order Frame Condition

Related Words