| | Axiomatizing Distance Logics |
Has publishing details
12(3-4):425-440, 2002
Has title
Axiomatizing Distance Logics
Has where published
Journal of Applied Non-Classical Logics
Has year
2002
Has author
Oliver Kutz +, Holger Sturm +, Nobu-Yuki Suzuki +, Frank Wolter +, Michael Zakharyaschev +
Has identifier
DBLP:journals/jancl/KutzSSWZ02 +
Categories Journal Paper +
|
