-
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...
-
We study propositional logical systems arising from the lan- guage of Johansson’s minimal logic and obtained by weakening the re- quirements for the negation operator. Using duality and completeness we prove that there are uncountably many such logical systems. We also give model-theoretic and al...