Lecture Notes in Computer Science - Deontic Logic in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540705246, 9783540705253

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Acting, Events and Actions

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_3 ◽

2008 ◽

pp. 19-33 ◽

Cited By ~ 4

Author(s):

Mark A. Brown

Reactive Kripke Models and Contrary to Duty Obligations

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_13 ◽

2008 ◽

pp. 155-173 ◽

Cited By ~ 12

Author(s):

Dov M. Gabbay

Keyword(s):

Kripke Models

A Deontic Logic for Socially Optimal Norms

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_17 ◽

2008 ◽

pp. 218-232 ◽

Cited By ~ 10

Author(s):

Jan Broersen ◽

Rosja Mastop ◽

John-Jules Ch. Meyer ◽

Paolo Turrini

Keyword(s):

Deontic Logic

Norms in Branching Space-Times

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_1 ◽

2008 ◽

pp. 1-2 ◽

Cited By ~ 1

Author(s):

Nuel Belnap

A Tableaux System for Deontic Action Logic

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_4 ◽

2008 ◽

pp. 34-48 ◽

Cited By ~ 8

Author(s):

Pablo F. Castro ◽

T. S. E. Maibaum

Keyword(s):

Action Logic ◽

Deontic Action Logic

A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_12 ◽

2008 ◽

pp. 140-154 ◽

Cited By ~ 18

Author(s):

Jan Broersen

Keyword(s):

Logical Analysis

Introducing Grades in Deontic Logics

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_19 ◽

2008 ◽

pp. 248-262 ◽

Cited By ~ 4

Author(s):

Pilar Dellunde ◽

Lluís Godo

Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_18 ◽

2008 ◽

pp. 233-247 ◽

Cited By ~ 2

Author(s):

Paul McNamara

Trust and Norms in the Context of Computer Security: A Logical Formalization

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_6 ◽

2008 ◽

pp. 50-64 ◽

Cited By ~ 10

Author(s):

Emiliano Lorini ◽

Robert Demolombe

Keyword(s):

Computer Security ◽

Logical Formalization

Pushing Anderson’s Envelope: The Modal Logic of Ascription

Lecture Notes in Computer Science - Deontic Logic in Computer Science ◽

10.1007/978-3-540-70525-3_20 ◽

2008 ◽

pp. 263-277 ◽

Cited By ~ 2

Author(s):

Davide Grossi

Keyword(s):

Modal Logic

Lecture Notes in Computer Science - Deontic Logic in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Acting, Events and Actions

Reactive Kripke Models and Contrary to Duty Obligations

A Deontic Logic for Socially Optimal Norms

Norms in Branching Space-Times

A Tableaux System for Deontic Action Logic

A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’

Introducing Grades in Deontic Logics

Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin

Trust and Norms in the Context of Computer Security: A Logical Formalization

Pushing Anderson’s Envelope: The Modal Logic of Ascription

Lecture Notes in Computer Science - Deontic Logic in Computer Science
Latest Publications