PP-2008-10: Koolen, Wouter (2008) Temporary Unavailability Logic and General Modification Logic. [Report]
Preview |
Text (Full Text)
PP-2008-10.text.pdf Download (189kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2008-10.abstract.txt Download (1kB) |
Abstract
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 |
