Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates

Saved in:

Bibliographic Details
Date:	2013
Main Author:	O. S. Shkilniak
Format:	Article
Language:	English
Published:	2013
Series:	Artificial intelligence
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000357193
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

id	open-sciencenbuvgovua-84008
record_format	dspace
spelling	open-sciencenbuvgovua-840082024-04-16T18:35:52Z Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates O. S. Shkilniak 2710-1673 2013 en Artificial intelligence http://jnas.nbuv.gov.ua/article/UJRN-0000357193 Article
institution	Library portal of National Academy of Sciences of Ukraine \| LibNAS
collection	Open-Science
language	English
series	Artificial intelligence
spellingShingle	Artificial intelligence O. S. Shkilniak Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
format	Article
author	O. S. Shkilniak
author_facet	O. S. Shkilniak
author_sort	O. S. Shkilniak
title	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_short	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_full	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_fullStr	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_full_unstemmed	Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
title_sort	sequent calculi for temporal and multimodal logics of partial predicates
publishDate	2013
url	http://jnas.nbuv.gov.ua/article/UJRN-0000357193
work_keys_str_mv	AT osshkilniak sequentcalculifortemporalandmultimodallogicsofpartialpredicates
first_indexed	2025-07-22T10:08:59Z
last_indexed	2025-07-22T10:08:59Z
_version_	1850420164219109376