English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The aim of this thesis is to explore the extent to which formal logic can be applied to the topic of conflict analysis and conflict resolution. It is motivated by the idea that conflicts can be understood as inconsistent sets of goals, beliefs, norms, emotions, or the like. To achieve this aim, two formal frameworks are presented. Conflict Modelling Logic (CML) is a logical system, based on branching-time temporal logic, which can be used to describe and interpret conflicts. Conflict Resolution Logic (CRL) is a set of five algorithms, inspired by the AGM model of belief revision, which can be used to generate possible solutions to conflicts. Furthermore, two numerical measures for the 'potential conflict power' of propositional formulae and the 'degree of inconsisteny' of sets of propositional formulae are introduced. The two measures allow one to assess the role of particular elements within a conflict and the depth of a conflict. The formal framework is illustrated with the example conflict of the Second Congo War.

Logic-Based Conflict Analysis and Resolution