337 search results - page 28 / 68 » Axiomatizing Distance Logics |
CIA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
ENTCS
2007
13 years 7 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...
AML
2005
13 years 7 months ago
2005
IMTL logic was introduced in [12] as a generalization of the infinitely-valued logic of Lukasiewicz, and in [11] it was proved to be the logic of left-continuous t-norms with an i...
CAEPIA
2007
Springer
14 years 1 months ago
2007
Springer
This paper continues the research line on the multimodal
CE
2007
13 years 7 months ago
2007
This paper argues that the internet is built around key technology design features of openness, robustness and decentralisation. These design features have transformed into social...