Help


+
We define Thm ( C ) to be the set of all formulas that are valid in C. Conversely, if X is a set of formulas, let Mod ( X ) be the class of all frames which validate every formula from X.

Edit
Promote Demote Fragment Fix

+
We define Thm ( C ) to be the set of all formulas that are valid in

Edit
Promote Demote Fragment Fix

0.004 seconds.