Search

Your search keyword '"Broersen, Jan"' showing total 6 results
Start Over Author "Broersen, Jan" Topic dynamic logic
6 results on '"Broersen, Jan"'

3. Meeting the Deadline: Why, When and How

Author

Dignum, Frank, Broersen, Jan, Dignum, Virginia, Meyer, John-Jules, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Hinchey, Michael G., editor, Rash, James L., editor, Truszkowski, Walter F., editor, and Rouff, Christopher A., editor

Published
2005
Full Text
View/download PDF

5. Action negation and alternative reductions for dynamic deontic logics.

Author

Broersen, Jan

Subjects
PHILOSOPHY of psychology, PHILOSOPHY of sociology, INFORMATION theory, CYBERNETICS
Abstract

Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and (2) does not impose restrictions on the use of other relevant action combinators such as sequence and iteration, and (3) has a meaningful interpretation in the normative context. The second problem we address concerns the reduction from deontic assertions to dynamic logic assertions. Our first point is that we want this reduction to obey the free-choice semantics for norms. For ought-to-be deontic logics it is generally accepted that the free-choice semantics is counter-intuitive. But for dynamic deontic logics we actually consider it a viable, if not, the better alternative. Our second concern with the reduction is that we want it to be more liberal than the ones that were proposed before in the literature. For instance, Meyer''s reduction does not leave room for action whose normative status is neither permitted nor forbidden. We test the logics we define in this paper against a set of minimal logic requirements. [Copyright &y& Elsevier]

Published
2004
Full Text
View/download PDF

6. A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions

Author

Herzig, Andreas, de Lima, Tiago, Lorini, Emiliano, Troquard, Nicolas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Ågotnes, Thomas, editor, Broersen, Jan, editor, and Elgesem, Dag, editor

Published
2012
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results