2025-02-22T20:59:28-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-317%22&qt=morelikethis&rows=5
2025-02-22T20:59:28-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-317%22&qt=morelikethis&rows=5
2025-02-22T20:59:28-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T20:59:28-05:00 DEBUG: Deserialized SOLR response
Composition nominative modal logics of partial non-monotone predicates and their calculi

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.
Format: Article
Language:Ukrainian
Published: Інститут програмних систем НАН України 2018
Subjects:
modal logic
partial predicate
logical consequence sequent calculus
UDC 004.42:510.69
Online Access:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/317
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

2025-02-22T20:59:28-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-317%22&qt=morelikethis
2025-02-22T20:59:28-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22pp_isofts_kiev_ua-article-317%22&qt=morelikethis
2025-02-22T20:59:29-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T20:59:29-05:00 DEBUG: Deserialized SOLR response

Similar Items