337 search results - page 1 / 68 » Axiomatizing Distance Logics |
JANCL
2002
13 years 4 months ago
2002
In [8, 6] we introduced a family of `modal' languages intended for talking about distances. These languages are interpreted in `distance spaces' which satisfy some (or a...
JOLLI
2002
13 years 4 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
SYNTHESE
2008
13 years 4 months ago
2008
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...
FROCOS
2007
Springer
13 years 10 months ago
2007
Springer
We present a simple logic that combines, in a conservative way, the implicative fragments of both classical and intuitionistic logics, thus settling a problem posed by Dov Gabbay i...
CADE
1992
Springer
13 years 8 months ago
1992
Springer
In the "little theories" version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theor...