Modal Logic - a Tool for Design Process Formalisation
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.
2000 ◽
Vol 44
(8)
◽
pp. 8-11
Keyword(s):
2014 ◽
Vol 7
(3)
◽
pp. 439-454
◽
Keyword(s):
Keyword(s):
2000 ◽
Keyword(s):
2012 ◽
Vol 538-541
◽
pp. 2990-2994
1970 ◽
Vol 12
(1)
◽
pp. 7-12
◽
Keyword(s):