A computationally grounded dynamic logic of agency, with application to legal actions
type: Dataset
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: action
keyword: modal-logic
keyword: dynamic-logic
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: infoeu-reposemanticsconferenceobject
keyword: agency
keyword: propositional-control
landing page: 978-3-642-31569-5
description: International audience
issued: 2026-05-09T14:15:10.189943
language: en
modified: 2026-05-09T14:15:10.189947

test_moissonnage_selune
type: Agent

A computationally grounded dynamic logic of agency, with application to legal actions
type: Distribution
access URL: https://hal.science/hal-00866707
format: HTML
issued: 2026-05-09T14:15:10.198556
modified: 2026-05-09T14:15:10.180112