Studia Logica, Volume 57

Volume 57, Number 1, July 1996

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

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