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
page_reload_on_deselect_hint
Reset Filters
applied_filters
Suggested Topics:
Remove filter
logical consequence sequent calculus
page_reload_on_deselect_hint
Reset Filters
Show filters (1)
Suggested Topics:
Remove filter
logical consequence sequent calculus
Search Results
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
UDC 004.42:510.69
1
logical consequence sequent calculus
modal logic
1
partial predicate
1
УДК 004.42:510.69
1
логическое следствие
1
логічний наслідок
1
модальна логіка
1
модальная логика
1
секвенциальное исчисление
1
секвенційне числення
1
частичный предикат
1
частковий предикат
1
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
Save Search
Back
Refine Results
page_reload_on_select_hint
Institution
Problems in programming
1 results
1
Format
Article
1 results
1
Author
Kasianiuk, V.S.
1 results
1
Malutenko, L.M.
1 results
1
Shkilniak, O.S.
1 results
1
Language
Ukrainian
1 results
1
Year of Publication
From:
To: