Свойства объекта
| Логические модели | |
| Название метода | Модальные и интенсиональные логики |
| Описание | Модальная логика — логика, в которой кроме стандартных логических связок, переменных и/или предикатов, есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-то в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Intensional logic attempts to study both designation and meaning and investigate the relationships between them. |
| URL | http://en.wikipedia.org/wiki/Modal_logic |