Conditionals and modularity in general logics

In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics

Semantic interpolation

We treat interpolation for various logics

Interference between space and time estimations: from behavior to neurons

Influences between time and space can be found in our daily life in which we are surrounded by numerous spatial metaphors to refer to time. For instance, when we move files from one folder to another in our computer a horizontal line that grows from left to right informs us about the elapsed and remaining time to finish the procedure and, similarly, in our communication we use several spatial terms to refer to time. Although with some differences in the degree of interference, not only space has an influence on time but both magnitudes influence each other. Indeed, since our childhood our estimations of time are influenced by space even when space should be irrelevant and the same occurs when estimating space with time as distractor. Such interference between magnitudes has also been observed in monkeys even if they do not use language or computers, suggesting that the two magnitudes are tightly coupled beyond communication and technology. Imaging and lesion studies have indicated that same brain areas are involved during the processing of both magnitudes and have suggested that rather than coding the specific magnitude itself the brain represents them as abstract concepts. Recent neurophysiological studies in prefrontal cortex, however, have shown that the coding of absolute and relative space and time in this area is realized by independent groups of neurons. Interestingly, instead, a high overlap was observed in this same area in the coding of goal choices across tasks. These results suggest that rather than during perception or estimation of space and time the interference between the two magnitudes might occur, at least in the prefrontal cortex, in a subsequent phase in which the goal has to be chosen or the response provided

Compact preference representation and combinatorial vote

In many real-world social choice problems, the set of alternatives is defined as the Cartesian product of (finite) domain values for each of a given set of variables, and these variables cannot be asusmed to be prefentially independent (to take an example, if X is the main dish of a dinner and Y the wine, preferences over Y depends on the value taken for X). Such combinatorial domains are much too large to allow for representing preference relations or utility functions explicitly (that is, by listing alternatives together with their rank or utility); for this reason, artificial intelligence researchers have been developing languages for specifying preference relations or utility functions as compactly as possible. This paper first gives a brief survey of compact representation languages, and then discusses its role for representing and solving social choice problems, especially from the point of view of computational complexity