A fixed-point characterization of a deontic logic of regular action

Fundamenta Informaticae

Volumn 48, Issue 2-3, 2001, Pages 107-128

  Broersen, Jan ^a   Wieringa, Roel ^a   Meyer, John Jules ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

calculus; Dynamic deontic logic; Finite automatons; Free choice permission; Modal action logic; Ought to do norms; Regular actions

Indexed keywords

EID: 0035518217     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)