A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
From MaRDI portal
Publication:3167603
DOI10.1007/978-3-642-31570-1_12zbMath1297.03015OpenAlexW1849448889MaRDI QIDQ3167603
Tiago de Lima, Andreas Herzig, Emiliano Lorini, Nicolas Troquard
Publication date: 2 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31570-1_12
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
This page was built for publication: A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions