References of "Herzig, Andreas"
     in
Bookmark and Share    
See detailDynamic context logic and its application to norm change
Aucher, Guillaume UL; Grossi, Davide; Herzig, Andreas et al

in Proceedings of Dagstuhl Seminar (2009, November 03), 09121

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic ... [more ▼]

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and use it to develop an axiomatic and semantic analysis of norm change in normative systems. The proposed analysis advances the state of the art by providing a formal semantics of norm-change which, at the same time, takes into account several different aspects of the phenomenon, such as permission and obligation dynamics, as well as the dynamics of classificatory rules. [less ▲]

Detailed reference viewed: 47 (1 UL)
See detailDynamic context logic
Aucher, Guillaume UL; Grossi, Davide; Herzig, Andreas et al

in Logic, Rationality, and Interaction (2009)

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic ... [more ▼]

Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories. [less ▲]

Detailed reference viewed: 39 (0 UL)
See detailExploring the power of converse events
Aucher, Guillaume UL; Herzig, Andreas

in Dynamic Formal Epistemology (2009)

Dynamic epistemic logic as viewed by Baltag, Moss and Solecki (BMS) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, BMS adds dynamics to epistemic logic by ... [more ▼]

Dynamic epistemic logic as viewed by Baltag, Moss and Solecki (BMS) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, BMS adds dynamics to epistemic logic by introducing so-called event models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily introduce converse events. In this paper we add epistemics to this, and call the resulting logic epistemic dynamic logic (EDL). We show that BMS can be translated into EDL thanks to this use of the converse operator : it enables us to translate the structure of the event model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic event model in the language (as done in BMS).We show that EDL is more expressive and general than BMS and we characterize semantically and syntactically in EDL this embedding of BMS. [less ▲]

Detailed reference viewed: 100 (1 UL)
Full Text
See detailWhat do we accept after an announcement?
de Boer, Mathijs UL; Herzig, Andreas; de Lima, Tiago et al

Scientific Conference (2008)

Detailed reference viewed: 49 (2 UL)