Browsing by Author Kupke, Clemens
Showing results 7 to 7 of 7
Reasoning with Global Assumptions in Arithmetic Modal Logics
Author(s) | Kupke, Clemens; Pattinson, Dirk; Schroder, Lutz |
---|---|
Type | Journal article |
Date Published | 2015 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator