Non-Monotonic S4F Standpoint Logic

Research output: Contribution to journal › Conference article › Contributed › peer-review

Abstract

Standpoint logics offer unified modal logic-based formalisms for representing multiple heterogeneous viewpoints. At the same time, many non-monotonic reasoning frameworks can be naturally captured using modal logics – in particular using the modal logic S4F. In this work, we propose a novel formalism called S4F Standpoint Logic, which generalises both S4F and propositional standpoint logic and is therefore capable of expressing multi-viewpoint, non-monotonic semantic commitments. We define its syntax and semantics and analyze its computational complexity, obtaining the result that S4F Standpoint Logic is not computationally harder than its constituent logics, whether in monotonic or non-monotonic form. We also outline mechanisms for credulous and sceptical acceptance and illustrate the framework with an example.

Details

Original languageEnglish
Pages (from-to)19126-19134
Number of pages9
JournalProceedings of the AAAI Conference on Artificial Intelligence
Volume40
Issue number23
Publication statusPublished - 14 Mar 2026
Peer-reviewedYes

Conference

Title40th AAAI Conference on Artificial Intelligence
Abbreviated titleAAAI 2026
Conference number40
Duration20 - 27 January 2026
Website
LocationSingapore EXPO
CitySingapore
CountrySingapore

Keywords

ASJC Scopus subject areas