MathematicsPhilosophyComputer Science
D. Batens
tlooto Summary
It is shown that this structure determines the proof theory as well as the semantics of the adaptive logics, and moreover that most properties of the logics can be proved by relying solely on the structure, viz. without invoking any specific properties ofThe logics themselves.
Abstract
Abstract is not available.
Citation format
BATENS, D. A universal logic approach to adaptive logics. Logica Universalis, 2007, 1: 221–242.