Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)

Piotr Gorczyca, Hannes Strass

Standpoint logics offer unified modal logic-based formalisms for representing multiple heterogeneous viewpoints. At the same time, many non-monotonic reasoning frameworks can be na…