Sahlqvist

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

Related Subjects

Sahlqvist Formula

Related Phrases

Canonical Model

Kripke Complete

Kripke Semantics

Normal Modal Logic

Related Words