DS-2005-01:
ten Cate, Balder David
(2005)
*Model theory for extended modal languages.*
Doctoral thesis, University of Amsterdam.

Text (Full Text)
DS-2005-01.text.pdf Download (1MB) |

## Abstract

Model theory for extended modal languages

Balder David ten Cate

In this thesis, several extensions of the basic modal language are

studied. Model theoretic and computational properties of these

extensions are investigated. Roughly speaking, the thesis contains

two types of results. The first type of results can be seen as

addressing specific cells in a big table along the following two

dimensions.

> Extensions of the basic modal language

The basic modal language, the hybrid languages H, H(@) and H(E),

the bounded fragment and H(@,!), guarded fragments, relation

algebra and second order propositional modal logic

> Model theoretic and computational properties

Expressivity, frame definability, axiomatization, interpolation,

the Beth property and complexity

The second type of results establish cross-connections between

languages. In particular, a number of truth- or satisfiability-

preserving translations between different languages are described,

and certain languages are characterized in terms of others (for

instance, as being a model theoretically interesting fragment, or

as being the smallest extension satisfying certain properties).

Item Type: | Thesis (Doctoral) |
---|---|

Report Nr: | DS-2005-01 |

Series Name: | ILLC Dissertation (DS) Series |

Year: | 2005 |

Subjects: | Computation Language Logic |

Depositing User: | Dr Marco Vervoort |

Date Deposited: | 14 Jun 2022 15:16 |

Last Modified: | 14 Jun 2022 15:16 |

URI: | https://eprints.illc.uva.nl/id/eprint/2043 |

## Actions (login required)

View Item |