A unified logical framework for reasoning about deontic properties of actions and states (Q6535323)

From MaRDI portal





scientific article; zbMATH DE number 7776654
Language Label Description Also known as
default for all languages
No label defined
    English
    A unified logical framework for reasoning about deontic properties of actions and states
    scientific article; zbMATH DE number 7776654

      Statements

      A unified logical framework for reasoning about deontic properties of actions and states (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      12 December 2023
      0 references
      deontic logic
      0 references
      ought to do
      0 references
      ought to be
      0 references
      \(n \mathcal{C}+\)
      0 references
      deontic action logic
      0 references
      transition system
      0 references
      conditional norms
      0 references

      Identifiers