catlog::dbl

Module modal

Source
Expand description

Doctrine of modal double theories.

Modulesยง

model
Models of modal double theories.
theory
Modal double theories.