Запропоновано спеціальне уточнення поняття композиційно-номінативної модальної системи, виділено транзиційні та темпоральні модальні системи. Описано мови, а також семантичні властивості загальних транзиційних і темпоральних композиційно-номінативних логік реномінативного та першопорядкових рівнів. Для логік функціонально-екваційного рівня виділено функціонально стабільні модальні системи. Запропоновано відношення логічного наслідку для множин специфікованих станами формул. Для загальних транзиційних і для темпоральних логік різних рівнів побудовано числення секвенційного типу, які базуються на реляційних семантичних моделях цих логік. Залежно від властивостей відношення досяжності на станах світу одержало різні типи таких числень. Для побудованих числень доведено теореми коректності та повноти.

  Скачати повний текст