
Modal Logic - a Tool for Design Process Formalisation
Author(s) -
I. Jelínek
Publication year - 2003
Publication title -
acta polytechnica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.207
H-Index - 15
eISSN - 1805-2363
pISSN - 1210-2709
DOI - 10.14311/464
Subject(s) - computer science , modal , modal logic , formalism (music) , normal modal logic , design process , dynamic logic (digital electronics) , multimodal logic , programming language , engineering , description logic , work in process , art , musical , chemistry , electrical engineering , transistor , voltage , polymer chemistry , visual arts , operations management
In this paper we show the possibility to formalize the design process by means of one type of non-standard logic - modal logic [1]. The type chosen for this study is modal logic S4. The reason for this choice is the ability of this formalism to describe modeling of the individual discrete steps of design, respecting necessity or possibility types of design knowledge.