Publication:3367292

Publication date: 24 January 2006

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

03B50: Many-valued logic

03B22: Abstract deductive systems

03B20: Subsystems of classical logic (including intuitionistic logic)

03B53: Paraconsistent logics