The Church-Fitch knowability paradox in the light of structural proof theory.

Paolo Maffezioli Alberto Naibo Sara Negri

Published in: Synth. (2013)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
expert systems
decision making
special case
multi dimensional