Browsing AURA by Author "Nossum, Rolf"
Now showing items 1-3 of 3
-
A decidable multi-modal logic of context
Nossum, Rolf (Skriftserien (Høgskolen i Agder), Book, 1997)We give a logic for formulas Á¡± Ã, with the informal reading ”à is true in the context described by Á”. These are interpreted as binary modalities, by quantification over an enumerable set of unary modalities c¡± Ã, ... -
Emigration of mathematicians from outside German-speaking academia 1933-1963, supported by the Society for the Protection of Science and Learning
Nossum, Rolf (Journal article; Peer reviewed, 2012)Racial and political persecution of German-speaking scholars from 1933 onward has already been extensively studied. The archives of the Society for the Protection of Science and Learning (SPSL), which are deposited in the ... -
A uniform quantificational logic for algebraic notions ofcontext
Nossum, Rolf (Skriftserien (Høgskolen i Agder), Book, 2002)A quantificational framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which ...