Reasoning with Global Assumptions in Arithmetic Modal Logics.

Clemens Kupke, Dirk Pattinson, Lutz Schrder

Browse the full FCT paper archive.