Зображення обкладинки

Composition nominative modal logics of partial non-monotone predicates and their calculi

We consider new program-oriented logical formalisms of modal type – pure first-order composition nominative modal logics of partial predicates without monotonicity restriction. For such logics we specify semantic models and languages and investigate interactions of modal compositions with renominati...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2018
Теми:	modal logic partial predicate logical consequence sequent calculus UDC 004.42:510.69
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/317
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2024)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)

Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Propositional logics of partial predicates with composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)

Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: Shkilniak, S.S.
Опубліковано: (2019)

Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)

Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Composition-nominative logics of free-quantifier levels
за авторством: Shkilniak, S.S., та інші
Опубліковано: (2018)

Sequent calculi of composition nominative modal logics of functional-equational level
за авторством: Shkilnyak, O.S.
Опубліковано: (2025)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)

Algebras of quasiary and of bi-quasiary relations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Spectrum of sequential number pershopordinal compositional-nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2017)

Semantic properties of five-valued logics
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Completeness of sequent calculi for modal logics of non-monotone partial predicates
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2016)

Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Construction of sequent calculi of composition-nominative multimodal logics
за авторством: Shkilniak, O.S.
Опубліковано: (2025)

Compositional logics of nominative data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
за авторством: O. S. Shkilniak
Опубліковано: (2013)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
за авторством: S. S. Shkilniak
Опубліковано: (2013)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: O. S. Shkilniak
Опубліковано: (2017)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2020)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2018)

Modality and predicativity: the lines of delimitation and opposition
за авторством: V. M. Britsyn
Опубліковано: (2015)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: S. S. Shkilniak
Опубліковано: (2019)

Table interpretation of the temporal description logic LTLALC
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2023)

Characteristic of Arabic Nominal Sentence&#039;s Predicate
за авторством: V. I. Ryzhikh
Опубліковано: (2007)

Frequency analysis of stator currents of an induction motor controlled by direct torque control associated with a fuzzy flux estimator
за авторством: Mabrouk, Y. A., та інші
Опубліковано: (2023)

Descriptive logic using in Web-service problems
за авторством: Zakharova, O.V.
Опубліковано: (2017)

Compound nominal predicate in the author&#039;s scientific style
за авторством: O. Sulyma
Опубліковано: (2010)

Method of information and analytical support for information security risk management of information systems
за авторством: Rodin, Y.S.
Опубліковано: (2019)

Tasks for information security risks management in making-decision process
за авторством: Rodin, Y.S.
Опубліковано: (2018)