Login / Signup

The Modal Logic of Cluster-Decomposable Kripke Interpretations.

Michael KaminskiMichael L. Tiomkin
Published in: Notre Dame J. Formal Log. (2007)
Keyphrases