Семантичні моделі та секвенційні числення транзиційних модальних логік
Досліджено чисті першопорядкові транзиційні модальні логіки часткових предикатів. Описано семантичні моделі та мови таких логік Для пропонованих логік побудовано числення секвенційного типу. Для цих числень доведено теореми коректності й повноти. Исследованы чистые первопорядковые транзиционные мода...
Saved in:
| Published in: | Компьютерная математика |
|---|---|
| Date: | 2013 |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84739 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-84739 |
|---|---|
| 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 |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| spellingShingle |
Семантичні моделі та секвенційні числення транзиційних модальних логік Шкільняк, О.С. Экспертные системы, методы индуктивного вывода |
| title_short |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_full |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_fullStr |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_full_unstemmed |
Семантичні моделі та секвенційні числення транзиційних модальних логік |
| title_sort |
семантичні моделі та секвенційні числення транзиційних модальних логік |
| author |
Шкільняк, О.С. |
| author_facet |
Шкільняк, О.С. |
| topic |
Экспертные системы, методы индуктивного вывода |
| topic_facet |
Экспертные системы, методы индуктивного вывода |
| publishDate |
2013 |
| language |
Ukrainian |
| container_title |
Компьютерная математика |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Семантическе модели и секвенциальные исчисления транзиционных модальных логик Semantic models and sequent calculi of transitional modal logics |
| 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.
|
| issn |
ХХХХ-0003 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/84739 |
| citation_txt |
Семантичні моделі та секвенційні числення транзиційних модальних логік / О.С. Шкільняк // Компьютерная математика. — 2013. — № 1. — С. 141-150. — Бібліогр.: 6 назв. — укр. |
| 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 |
| first_indexed |
2025-12-07T17:54:13Z |
| last_indexed |
2025-12-07T17:54:13Z |
| _version_ |
1850873010820481024 |