Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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 J. Wieringa:
Free Choice and Contextually Permitted Actions. 193-220 - Gert-Jan C. Lokhorst:
Reasoning about Actions and Obligations in First-Order Logic. 221-237
Volume 57, Number 2/3, October 1996
- 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
