2025-02-23T00:28:23-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-53203%22&qt=morelikethis&rows=5
2025-02-23T00:28:23-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22open-sciencenbuvgovua-53203%22&qt=morelikethis&rows=5
2025-02-23T00:28:23-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T00:28:23-05:00 DEBUG: Deserialized SOLR response
Completeness of sequent calculi for modal logics of non-monotone partial predicates

Completeness of sequent calculi for modal logics of non-monotone partial predicates

Saved in:
Bibliographic Details
Main Authors: O. S. Shkilniak, V. S. Kasianiuk, L. M. Maliutenko
Format: Article
Language:English
Published: 2016
Series:Artificial intelligence
Online Access:http://jnas.nbuv.gov.ua/article/UJRN-0000765482
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://jnas.nbuv.gov.ua/article/UJRN-0000765482

Similar Items