Blar i University Publication Series på emneord "VDP::Humaniora: 000::Filosofiske fag: 160::Logikk: 163"
Viser treff 1-2 av 2
-
A decidable multi-modal logic of context
(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¡± Ã, ... -
A uniform quantificational logic for algebraic notions ofcontext
(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 ...