JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/10931

Title: An Intuitionistic Investigation of Prerequisite-Effect Structure
Authors: Sano, Katsuhiko
Hagiwara, Shingo
Tojo, Satoshi
Keywords: Kripke semantics
Legal reasoning
Issue Date: 2012
Publisher: Springer
Magazine name: Lecture Notes in Computer Science
Volume: 7258
Start page: 170
End page: 183
DOI: 10.1007/978-3-642-32090-3_15
Abstract: Although the formalization of legal documents is quite useful, they contain various kinds of if-then relations. In this paper, we aim at formalizing the prerequisite-effect structure in temporal/causal settings. We regard the progress of time as hereditary accessibility in temporal states, and thus we introduce Kripke semantics. Our ultimate objective is to construct a legal reasoning system, however, since those various kinds of logical relations may complicate the reasoning system we avoid to introduce multiple modal operators. We stay in simple intuitionistic logic, and we will extend it to include the prerequisite-effect structure. Then, the structure is defined in the augmentation of known facts, that is, the effect is immediately follows after the prerequisite is satisfied.
Rights: This is the author-created version of Springer, Katsuhiko Sano, Shingo Hagiwara, and Satoshi Tojo, Lecture Notes in Computer Science, 7258, 2012, 170-183. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-642-32090-3_15
URI: http://hdl.handle.net/10119/10931
Material Type: author
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
18141.pdf101KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology