A Hennessy-Milner Property for Many-Valued Modal Logics

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.

Skolemization for Substructural Logics

The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.

Torn between state and market: Private policy implementation and conflicting institutional logics

Policy implementation by private actors constitutes a “missing link” for understanding the implications of private governance. This paper proposes and assesses an institutional logics framework that combines a top-down, policy design approach with a bottom-up, implementation perspective on discretion. We argue that the conflicting institutional logics of the state and the market, in combination with differing degrees of goal ambiguity, accountability and hybridity play a crucial role for output performance. These arguments are analyzed based on a secondary analysis of seven case studies of private and hybrid policy implementation in diverging contexts. We find that aligning private output performance with public interests is at least partly a question of policy design congruence: private implementing actors tend to perform deficiently when the conflicting logics of the state and the market combine with weak accountability mechanisms.

How Much am I Expected to Pay for my Parents‘ Firm? An Institutional Logics Perspective on Family Discounts

Recent evidence suggests that successors do not simply inherit their parents’ firm, but have to pay a certain price. Building on institutional logics literature, we explore successors’ family discount expectations, defined as the rebate expected from parents in comparison to nonfamily buyers when assuming control of the firm. We find that family cohesion increases discount expectations, while successors’ fear of failure and family equity stake in the firm decrease discount expectations. Higher education in business or economics weakens These effects. On average, in our study comprised of 16 countries, successors expect a 57% family discount.

Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Admissibility in Finitely Generated Quasivarieties

Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibility in Q is not computationally feasible. In this paper, algorithms are introduced that generate a minimal (with respect to a multiset well-ordering on their cardinalities) finite set of algebras such that the validity of a quasiequation in this set corresponds to admissibility of the quasiequation in Q. In particular, structural completeness (validity and admissibility coincide) and almost structural completeness (validity and admissibility coincide for quasiequations with unifiable premises) can be checked. The algorithms are illustrated with a selection of well-known finitely generated quasivarieties, and adapted to handle also admissibility of rules in finite-valued logics.

Transition and Justice: An Introduction

Since the end of the Cold War, political new beginnings have increasingly been linked to questions of transitional justice. The contributions to this collection examine a series of cases from across the African continent where peaceful ‘new beginnings’ have been declared after periods of violence and where transitional justice institutions played a role in defining justice and the new socio-political order. Three issues seem to be crucial to the understanding of transitional justice in the context of wider social debates on justice and political change: the problem of ‘new beginnings’, of finding a foundation for that which explicitly breaks with the past; the discrepancies between lofty promises and the messy realities of transitional justice in action; and the dialectic between logics of the exception and the ordinary, employed to legitimize or resist transitional justice mechanisms. These are the particular focus of this Introduction.

Realizing public announcements by justifications

Modal public announcement logics study how beliefs change after public announcements. However, these logics cannot express the reason for a new belief. Justification logics fill this gap since they can formally represent evidence and justifications for an agent's belief. We present OPAL(K) and JPAL(K) , two alternative justification counterparts of Gerbrandy–Groeneveld's public announcement logic PAL(K) . We show that PAL(K) is the forgetful projection of both OPAL(K) and JPAL(K) . We also establish that JPAL(K) partially realizes PAL(K) . The question whether a similar result holds for OPAL(K) is still open.