Analytic Proof Theory for Åqvist's System F.

Agata Ciabattoni Nicola Olivetti Xavier Parent Revantha Ramanayake Dmitry Rozplokhas

Published in: DEON (2023)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
decision making
computational complexity
special case
belief revision
nonmonotonic reasoning