-
This Festschrift contribution lightly documents four joint papers with Jan van Eijck: on Dynamics of Interpretation in the 1980s, on Changing Preferences and on Modal Logics of Process Structure in the 1990s, and on Dynamic-Epistemic Logic of Action and Change in the 2000s. Plus some other things...
-
We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of game equivalence than equality of standard powers, though staying short of modal bisimulation. Concretely, we propose a more fine-grained ...
-
This is a discussion of broad semantic perspectives running
through logic, starting with invariance and definability,
then moving to combinations with inference and computation,
connecting different zoom levels arising in an invariance
perspective, reinterpreting model preservation theorems ...
-
We propose a new perspective on logics of computation by combining instantial neighborhood logic INL with bisimulation safe operations adapted from PDL. INL is a recently proposed modal logic, based on a richer extension of neighborhood semantics which permits both universal and existential quant...
-
Graph aggregation is the process of computing a single output graph that constitutes a good compromise between several input graphs, each provided by a different source. One needs to perform graph aggregation in a wide variety of situations, e.g., when applying a voting rule (graphs as preference...
-
We introduce tool auctions, a novel market mechanism for constructing a cost-efficient assembly line for producing a desired set of products from a given set of goods and tools. Such tools can be used to transform one type of good into a different one. We then study the computational complexity o...
-
We introduce a formal model of iterative judgment aggregation, enabling the analysis of scenarios in which agents repeatedly update their individual positions on a set of issues, before a final decision is made by applying an aggregation rule to these individual positions. Focusing on two popular...
-
We characterise the intermediate logics which admit a cut-free hypersequent calculus of the form HLJ + R, where HLJ is the hypersequent counterpart of the sequent calculus LJ for propositional intuitionistic logic, and R is a set of so-called structural hypersequent rules, i.e., rules not involvi...
-
We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we es- tablish connections with imperfect information games and epistemic logic. We also iden...
-
We reflect on the use of empirical methods in philosophy and the variety of different empirical methods, emphasising that the experimental method in the strict sense is only one of them. Based on our discussion, we argue for the use of methodological triangulation in empirical philosophy.
-
This investigation is concerned with weak subintuitionistic logics with neighbourhood models introduced by the authors in 2016. The two types of neighborhood models introduced in that article are compared and the relationship between the two types of models is clarified. Thereby modal companions...