Семантичні моделі та секвенційні числення транзиційних модальних логік
Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти. Исследованы чистые первопорядковые транзиционные мода...
Gespeichert in:
| Veröffentlicht in: | Компьютерная математика |
|---|---|
| Datum: | 2013 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/84739 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862714941058842624 |
|---|---|
| author | Шкільняк, О.С. |
| author_facet | Шкільняк, О.С. |
| citation_txt | Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. |
| collection | DSpace DC |
| container_title | Компьютерная математика |
| description | Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти.
Исследованы чистые первопорядковые транзиционные модальные логики частичных предикатов. Описаны семантические модели и языки таких логик. Для предложенных логик построены исчисления секвенциального типа. Для этих исчислений доказаны теоремы корректности и полноты.
Pure first-order transitional modal logics of partial predicates are studied. For the introduced logics, we describe semantic models and languages and we construct sequent calculi. The correctness and completeness theorems are proved for such calculi.
|
| first_indexed | 2025-12-07T17:54:13Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84739 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | ХХХХ-0003 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:54:13Z |
| publishDate | 2013 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Шкільняк, О.С. 2015-07-14T12:06:21Z 2015-07-14T12:06:21Z 2013 Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. ХХХХ-0003 https://nasplib.isofts.kiev.ua/handle/123456789/84739 004.42:510.69 Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти. Исследованы чистые первопорядковые транзиционные модальные логики частичных предикатов. Описаны семантические модели и языки таких логик. Для предложенных логик построены исчисления секвенциального типа. Для этих исчислений доказаны теоремы корректности и полноты. Pure first-order transitional modal logics of partial predicates are studied. For the introduced logics, we describe semantic models and languages and we construct sequent calculi. The correctness and completeness theorems are proved for such calculi. uk Інститут кібернетики ім. В.М. Глушкова НАН України Компьютерная математика Экспертные системы, методы индуктивного вывода Семантичні моделі та секвенційні числення транзиційних модальних логік Семантическе модели и секвенциальные исчисления транзиционных модальных логик Semantic models and sequent calculi of transitional modal logics Article published earlier |
| spellingShingle | Семантичні моделі та секвенційні числення транзиційних модальних логік Шкільняк, О.С. Экспертные системы, методы индуктивного вывода |
| title | Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_alt | Семантическе модели и секвенциальные исчисления транзиционных модальных логик Semantic models and sequent calculi of transitional modal logics |
| title_full | Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_fullStr | Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_full_unstemmed | Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_short | Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_sort | семантичні моделі та секвенційні числення транзиційних модальних логік |
| topic | Экспертные системы, методы индуктивного вывода |
| topic_facet | Экспертные системы, методы индуктивного вывода |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84739 |
| work_keys_str_mv | AT škílʹnâkos semantičnímodelítasekvencíiníčislennâtranzicíinihmodalʹnihlogík AT škílʹnâkos semantičeskemodeliisekvencialʹnyeisčisleniâtranzicionnyhmodalʹnyhlogik AT škílʹnâkos semanticmodelsandsequentcalculioftransitionalmodallogics |