Automating Reasoning with Standpoint Logic via Nested Sequents.

Tim S. Lyon, Luca Gmez lvarez

Browse the full KR paper archive.