**Topic:**

**GENERAL LOGIC**

## Axiomatizing Modal Theories of Subset Spaces

(An Example of the Power of Hybrid Logic)

By Bernhard Heinemann

This paper is about a synthesis of two quite different modal reasoning formalisms: the logic of subset spaces, and hybrid logic. Going beyond commonly considered languages we introduce names of objects involving sets and corresponding satisfaction operators. In this way we are able to completely axiomatize the theory of certain classes of subset spaces which are difficult to deal with purely modally. We also study effectivity properties of the resulting logical systems.

Get it

Posted by Tony Marmo
at 00:01 GMT

Updated: Thursday, 11 November 2004 10:06 GMT