LEADER 00884nam0-22002771i-450 001 990004590970403321 005 20230328154642.0 035 $a000459097 035 $aFED01000459097 035 $a(Aleph)000459097FED01 035 $a000459097 100 $a19990530d1958----km-y0itay50------ba 101 0 $ager 105 $ay-------001yy 200 1 $a<>terminologie der jenseitsvorstellungen bei Tertullian$eein semasiologischer beitrag zur dogmengeschichte des zwischenzustandes$fHeinz Fine' 210 $aBonn$cPeter Hanstein$d1958 215 $a252 p.$d23 cm 225 1 $aTheophaneia$v12 700 1$aFine',$bHeinz$0182006 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990004590970403321 952 $a5/XIV E 1 (12)$bBIBL.31794$fFLFBC 959 $aFLFBC 996 $aTerminologie der Jenseitsvorstellungen bei Tertullian$9226977 997 $aUNINA LEADER 04075nam 2200613 a 450 001 9910485038903321 005 20200520144314.0 010 $a3-540-70525-2 024 7 $a10.1007/978-3-540-70525-3 035 $a(CKB)1000000000490494 035 $a(SSID)ssj0000355481 035 $a(PQKBManifestationID)11274865 035 $a(PQKBTitleCode)TC0000355481 035 $a(PQKBWorkID)10320428 035 $a(PQKB)11278099 035 $a(DE-He213)978-3-540-70525-3 035 $a(MiAaPQ)EBC3068695 035 $a(PPN)127054871 035 $a(EXLCZ)991000000000490494 100 $a20080603d2008 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDeontic logic in computer science $e9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /$fRon van der Meyden, Leendert van der Torre (eds.) 205 $a1st ed. 2008. 210 $aBerlin $cSpringer$d2008 215 $a1 online resource (X, 279 p.) 225 1 $aLNCS sublibrary. SL 7, Artificial intelligence 225 1 $aLecture notes in artificial intelligence,$x0302-9743 ;$v5076 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-70524-4 320 $aIncludes bibliographical references and index. 327 $aNorms in Branching Space-Times -- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories -- Acting, Events and Actions -- A Tableaux System for Deontic Action Logic -- Information Security Economics - and Beyond -- Trust and Norms in the Context of Computer Security: A Logical Formalization -- Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic -- Delegation of Control in Administrative Procedures -- Variations in Access Control Logic -- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking -- Need to Know: Questions and the Paradox of Epistemic Obligation -- A Logical Analysis of the Interaction between ?Obligation-to-do? and ?Knowingly Doing? -- Reactive Kripke Models and Contrary to Duty Obligations -- Normative Consequence: The Problem of Keeping It Whilst Giving It up -- On the Strong Completeness of Åqvist?s Dyadic Deontic Logic G -- Strata of Intervenient Concepts in Normative Systems -- A Deontic Logic for Socially Optimal Norms -- Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin -- Introducing Grades in Deontic Logics -- Pushing Anderson?s Envelope: The Modal Logic of Ascription. 330 $aThis volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008. The 16 revised full papers presented together with 4 invited talks were carefully reviewed and selected for inclusion in the book. The topics addressed are development of formal systems of deontic logic and related areas of logic, and applications. Of particular interest is the interaction between computer systems and their users; the papers focus also on the special topic of logical approaches to deontic notions in computer science in the area of security and trust, encompassing applications in e-commerce as well as traditional areas of computer security. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v5076. 410 0$aLNCS sublibrary.$nSL 7,$pArtificial intelligence. 517 3 $aDEON 2008 606 $aComputer science$vCongresses 606 $aDeontic logic$vCongresses 615 0$aComputer science 615 0$aDeontic logic 676 $a004 701 $aVan der Meyden$b Ron$01751913 701 $aTorre$b Leendert van der$01751914 712 12$aInternational Conference on Deontic Logic in Computer Science 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910485038903321 996 $aDeontic logic in computer science$94187055 997 $aUNINA