- From: R.V.Guha <guha@guha.com>
- Date: Mon, 12 Aug 2002 19:45:24 -0700
- To: Enrico Franconi <franconi@cs.man.ac.uk>
- CC: www-rdf-logic@w3.org
An axiomatic semantics is nothing more than a mapping of expressions in the language into a different, more general language. Once this is done, the model theory of that more general language is the "general model theory" that I mentioned. guha Enrico Franconi wrote: >It appears to me that your "general model theory" is exactly what you >need. So, there is definitely something you want to tell us about the >advantage of axiomatic approaches to combine logics which I don't get. > >cheers >-- e. > >Enrico Franconi - franconi@inf.unibz.it >Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/ >Faculty of Computer Science - Phone: (+39) 0471-315-642 >I-39100 Bozen-Bolzano BZ, Italy - Fax: (+39) 0471-315-649 > >
Received on Monday, 12 August 2002 22:47:03 UTC