Dynamic Epistemic Reasoning with Awareness and Its Legal Application
Concerning a software tool of legal reasoning, it is important to describe the prediction about the result of a criminal action, because a crime is often caused by the unpredictability of the result of the defendant. In the court, the judge needs to investigate the predictability and the intention o...
Main Authors: | Tetsuji Goto, Ryo Hatano, Satoshi Tojo |
---|---|
Format: | Article |
Language: | English |
Published: |
World Scientific Publishing
2019-02-01
|
Series: | Vietnam Journal of Computer Science |
Subjects: | |
Online Access: | http://www.worldscientific.com/doi/pdf/10.1142/S2196888819500064 |
Similar Items
-
Normal default rules as epistemic actions
by: Michal Dančák, et al.
Published: (2016-08-01) -
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
by: Xiaojuan Chen, et al.
Published: (2019-01-01) -
Fuzziness and approximate reasoning : epistemics on uncertainty, expectation and risk in rational behavior /
by: 171318 Dompere, Kofi Kissi
Published: (2009) -
Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
by: Xiaojuan Chen, et al.
Published: (2020-09-01) -
Dynamic epistemic logic /
by: Ditmarsch, Hans van, 1959-, et al.
Published: (2007)