Journal: Journal of Logic and Computation

Volume 25, Issue 5

1141 -- 1166Henry Prakken, Adam Zachary Wyner, Trevor J. M. Bench-Capon, Katie Atkinson. A formalization of argumentation schemes for legal case-based reasoning in ASPIC+
1167 -- 1202Hadas Peled, Shuly Wintner. Polynomially parsable unification grammars
1203 -- 1229Alexander Clark. The syntactic concept lattice: Another algebraic theory of the context-free languages?
1231 -- 1240Emil Jerábek. Blending margins: the modal logic K has nullary unification type
1241 -- 1260Robert Trypuz, Piotr Kulicki. On deontic action logics based on Boolean algebra