PP-2008-10: Temporary Unavailability Logic and General Modification Logic

PP-2008-10: Koolen, Wouter (2008) Temporary Unavailability Logic and General Modification Logic. [Report]

Text (Full Text)

Download (189kB) | Preview
[img] Text (Abstract)

Download (1kB)


Modal logics are simple yet expressive devices to talk about relational structures. Dynamic modal logics extend standard modal logics with new operators that upon evaluation alter the subject relational structure. Sabotage logics are dynamic modal logics, that crumble the relational structure under the effect of certain new operators. This paper first considers the simplest instance of non-caustic sabotage, namely temporary removal of arbitrary single edges. This results in the Temporary Unavailability Logic. The complexity of TUL is subsequently analysed along the lines of [Rhode]. In the next section we present and motivates a generalisation of TUL called General Modification Logic or GML. Where TUL deals with temporary removal of single edges, allowing any individual edge to be removed, GML abstracts away from the actual way in which the model is altered, and introduces restricted accessibility between dierent alterations. The actual underlying mechanism is a variation of product update. We conclude with a comparison of all treated sabotage logics and a list of open problems.

Item Type: Report
Report Nr: PP-2008-10
Series Name: Prepublication (PP) Series
Year: 2008
Depositing User: wmkoolen
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/284

Actions (login required)

View Item View Item