JUDGMENT METHOD OF THE VALIDITY ON THE PLANNING DOCUMENTS INCLUDING MODAL EXPRESSIONS
Masayuki MIWA, Yoshitsugu Aoki · Journal of Architecture and Planning (Transactions of AIJ) · 2011
We find the modal expressions, such as “Inevitability” and “Possibility”, in the documents of proposed plans. But it is difficult to discuss the validity on the proposed plan described by the modal expressions.Using the model theory on modal logic, we propose a method that we can judge the validity of the proposed plan, and construct the algorithm of this judgment method. We show examples of the judgment of planning validity by the algorithm.