Towards a proof theory for Henkin quantifiers.

Matthias Baaz Anela Lolic

Published in: J. Log. Comput. (2021)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
first order logic
reasoning problems
natural language
belief revision
nonmonotonic reasoning