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

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

[thumbnail of Full Text]
Text (Full Text)

Download (189kB) | Preview
[thumbnail of Abstract] 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

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