679 search results - page 11 / 136 » hybrid 2010 |
113
Voted
IMCSIT
2010
15 years 3 months ago
2010
166
Voted
IANDC
2010
15 years 4 months ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
196
click to vote
ENTCS
2007
15 years 6 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...