Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

Standpoint logics allow to represent multiple heterogeneous viewpoints in a unifying framework based on modal logic. We propose to combine standpoint modalities with the single modality of the non-monotonic modal logic S4F, thus defining standpoint S4F. The resulting language allows to express semantic commitments based on default reasoning. We define syntax and semantics of the logic, study the computational complexity of reasoning problems in the fragment of simple theories, and showcase standpoint S4F by exemplifying two concrete instantiations of the general language – standpoint default logic and standpoint argumentation frameworks.

Details

Original languageEnglish
Title of host publicationNMR 2024 - Nonmonotonic Reasoning 2024
EditorsNina Gierasimczuk, Jesse Heyninck
Pages83-93
Number of pages11
Volume3835
Publication statusPublished - 1 Nov 2024
Peer-reviewedYes

External IDs

Scopus 85210817397

Keywords

ASJC Scopus subject areas

Keywords

  • Default Logic, Modal Logic S4F, Standpoint Logic