3:30-8 Kalish und Bohnert hier. (Kalish hat mit Montague einen Aufsatz beendet, über natürliche Deduktion. Montague ist für den Rest 🕮 der Ferien nach Berkeley abgefahren. Kalish zeigt Brief von Dana Scott; er gibt, für Modalitätssystem ohne deskriptive Konstanten, Übersetzungsregeln in sehr einfacher rekursiver Form. Für Gültigkeit von Formeln ist das äquivalent zu meiner Übersetzung; aber für Übersetzung von deskriptiven Formeln muss er Regeln hinzufügen, die vielleicht komplizierter werden. – Kalish fliegt morgen nach St. Louis zu seiner Familie, für 10 Tage.)
