Richter: Constraint-based Semantics (WS 12/13)

Course Description in the Campus system
Classes: Our class meets Tuesdays, 8.30-10.00, and Thursdays, 14.15-15.45, in 0.35 (Brechtbau)
Language: The course language is English.
Office hours: Mondays, 12.00-13.00, SfS, Room 2.17 (Email: f.richter@em.uni-frankfurt.de)
Official statement to be included (and signed) in every Schriftliche Hausarbeit or written summary

Course materials will be available in the Moodle pages for this course. More material will be added there as we proceed.

Possible world tool for creating possible world models and doing model checking in propositional modal logic
The Lexical Resource Semantics Wiki