-
We discuss some basic features of ancient Chinese theories of
reasoning and language, advocating the use of logic as providing
flexible models for practices of language use, reasoning, and
argumentation.
-
We compare STIT-type logics of deliberate action as proposed by Belnap
and Horty with dynamic logics of action. We show how to merge the two
perspectives, by focusing on the notion of 'control', and present
examples in dynamic logics of matrix games, and a new
dynamic-epistemic logic with agent c...
-
We analyse the computational complexity of three problems in judgment
aggregation: (1) computing a collective judgment from a profile of
individual judgments (the winner determination problem); (2) deciding
whether a given agent can influence the outcome of a judgment
aggregation procedure in her...
-
The problem of merging several ontologies has important applications
in the Semantic Web, medical ontology engineering, and other domains
where information from several distinct sources needs to be integrated
in a coherent manner. We propose to view ontology merging as a problem
of social choice,...
-
We explore basic styles of reasoning about strategic powers, and about
strategies themselves, defining minimal logics that mirror basic
game-theoretic proofs and counter-examples. In particular, we find
some new results about a decidable modal-temporal logic of forcing,
and its extension with exp...
-
We identify a pervasive contrast in logic between what we call implicit and explicit stances in design. Implicit systems change the meaning of logical constants and sometimes also the definition of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We...
-
We survey the history of computation since Turing, emphasizing the difference between the `what question' as to what can be computed and the `how question' of what behavior can be produced. We then look at social agency as a model for interactive computation, and investigate systematic ways of 'e...
-
We investigate the modal logic of the generic multiverse which is a
bimodal logic with operators corresponding to the relations "is a
forcing extension of" and "is a ground model of". The fragment of the
first relation is the modal logic of forcing and was studied by the
authors in earlier work. ...
-
Logica en recht hebben gemeenschappelijke interesses, wellicht zelfs
gezamenlijke wortels. Het gelijktijdig ontstaan van de logica in drie
grote wereldculturen rond 500 B.C. wordt soms verklaard vanuit
reflectie op de toen reeds lang bestaande juridische praktijk. Maar
die juridische praktijk wor...
-
This is a spoof review of Bolzano's magnum opus treated as if it had
appeared just recently, pointing out its significance for the way we
practice logic today, and indulging in a bit of alternative history.
-
Criteria for measuring economic inequality, such as the Lorenz curve
and the Gini index, are widely used in the social sciences but have
hardly been explored in Multiagent Systems, even though the
significance of other concepts from fair division is widely accepted
in the field. In a departure fr...