Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour

This thesis is part of a line of research aimed at providing a strong and modular mathematical backbone to a wide and inherently diverse class of logics, introduced to capture different facets of social behaviour. The contributions of this thesis are rooted methodologically in duality, algebraic logic and structural proof theory, pertain to and...

Multi-Type Algebraic Proof Theory

This dissertation pertains to algebraic proof theory, a research field aimed at solving problems in structural proof theory using results and insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras. The main contributions of this dissertation involve the very recent theory of multi-type calculi...

Unified correspondence and canonicity

Correspondence theory originally arises as the study of the relation between modal formulas and first-order formulas interpreted over Kripke frames. We say that a modal formula and a first-order formula correspond to each other if they are valid on the same class of Kripke frames. Canonicity theory is closely related to correspondence theory. We...

The Cognitive Infrastructures of Markets: Empirical Studies on the Role of Categories in Valuation and Competition, and a Formal Theory of Classification Systems Based on Lattices and Order

This dissertation addresses the question of how the information encoded by category labels is interpreted by agents in a market for the purpose of decision-making. To this end, we first examine the influence of categorization on economic and strategic outcomes with two empirical studies, and then use the insights provided by these studies to...