Proof-Search for Normative and Doxastic Reasoning and Its Use in Logical Argumentation.

Kees van Berkel, Andrea Sabatini

Browse the full KR paper archive.