Other Research Achievements

Basic information

Name Tetsuji Goto
Belonging department Medical Engineering Course,Department of Medical Course,Faculty of Health and Medical Science
Occupation name Associate Professor
researchmap researcher code
researchmap agency

Title

Classification of precedents by modeling tool for action and epistemic state: Demo

Sole or Joint Author

Joint Author

Date of Issue

201411

Conference Presentation(name)

The 8th International Workshop on Juris-Informatics

Summary

We described legal reasoning of some criminal precedents by applying one of modal logic, "Dynamic Epistemic Logic" to the knowledge status and the facts. We also tried to classify these precedents according to this resutls.