Showing
1 - 1
results of
1
Skip to content
Login
Language
English
Deutsch
Українська
Open Science Harvester of NAS of Ukraine
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Full text
Find
Advanced
Author
Kasianiuk, V.S.
Search Results - Kasianiuk, V.S.
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Email
Export
Print
bulk_save_button
select_all_on_page
Select result number 1
1
Composition nominative modal logics of partial non-monotone predicates and their calculi
by
Shkilniak, O.S.
,
Kasianiuk, V.S.
,
Malutenko, L.M.
Published 2018
Get full text
Article
standalone_record_link
Save to List
Saved in:
Email
Export
Print
bulk_save_button
select_all_on_page
Search Tools:
RSS Feed
Email Search
Related Subjects
UDC 004.42:510.69
logical consequence sequent calculus
modal logic
partial predicate
УДК 004.42:510.69
логическое следствие
логічний наслідок
модальна логіка
модальная логика
секвенциальное исчисление
секвенційне числення
частичный предикат
частковий предикат