In-other-words-C-is-the-largest-class-of-frames -- Multiple sentences match

+ −

In other words, C is the largest class of frames such that L is sound wrt C. It follows that L is Kripke complete if and only if it is complete of its corresponding class.

Promote Demote Fragment Fix

+ −

In other words, C is the largest class of frames such that L is sound wrt C. It follows that L is Kripke complete if and only if it is complete of its corresponding class.

Promote Demote Fragment Fix

« More previous Okay Cancel More next »

0.003 seconds.

Most text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.