Report - Mitschrift: Modallogik - Uni · PDF fileDefinition: Ein (Kripke) Rahmen (für die modale Basissprache) ist eine relationale Struk-tur F = (W,R) mit Rist binär (R⊂ W×W)

Please pass captcha verification before submit form