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.
Posted by Tony Marmo at 00:01 GMT
Updated: Thursday, 11 November 2004 10:06 GMT