Summary
One of the most successful branches of modern symbolic logic is that of modal logics. Due to their favourable balance between expressivity and complexity, logics from this family have found many applications in disciplines such as Mathematics, Computer Science, Philosophy or...
More information & hyperlinks
| Web resources: | http://logic.at/staff/lellmann/static/mariecurie/index.html |
Search
Associated projects
Organisations
- Not specified