Studia Logica, Volume 57

Volume 57, Number 1, July 1996

Andrew J. I. Jones, Marek J. Sergot: Foreword. 3-4
Carlos E. Alchourrón: Detachment and Defeasibility in Deontic Logic. 5-18
Nicholas Asher, Daniel Bonevac: Prima Facie Obligation. 19-45
Michael Morreau: Prima Facie and Seeming Duties. 47-71
Henry Prakken: Two Approaches to the Formalisation of Defeasible Deontic Reasoning. 73-90
Henry Prakken, Marek J. Sergot: Contrary-to-Duty Obligations. 91-115
Mark A. Brown: A Logic of Comparative Obligation. 117-137
José Carmo, Andrew J. I. Jones: Deontic Database Constraints, Violation and Recovery. 139-165
Paul McNamara: Doing Well Enough: Toward a Logic for Common-Sense Morality. 167-192
Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. 193-220
Gert-Jan C. Lokhorst: Reasoning about Actions and Obligations in First-Order Logic. 221-237

Diego Vaggione: Indecomposable congruence modular algebras. 239-241
Twan Laan, Rob Nederpelt: A modern elaboration of the ramified theory of types. 243-278
Mark Reynolds: Axiomatising first-order temporal logic: until and since over linear time. 279-302
Wojciech Buszkowski: The finite model property for BCI. 303-323
Mamoru Kaneko, Takashi Nagashima: Game logic and its applications. 325-354
Robert Cowen, William Emerson: A compactness theorem for linear equations. 355-357
Martin Amerbauer: Cut-free tableau calculi for some propositional normal modal logics. 359-371
Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli: On maximal intermediate predicate constructive logics. 373-408
Matt Insall: Hyperalgebraic primitive elements for relational algebraic and topological algebraic models. 409-418
Burghard Herrmann: Characterizing equivalential and algebraizable logics by the Leibniz operator. 419-436
Andreja Prijatelj: Bounded contraction and Gentzen-style formulation of Lukasiewicz logics. 437-456